File: modules.3.sml

package info (click to toggle)
mlton 20041109-1
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 18,212 kB
  • ctags: 58,085
  • sloc: ansic: 10,386; makefile: 1,178; sh: 1,139; pascal: 256; asm: 97
file content (7 lines) | stat: -rw-r--r-- 125 bytes parent folder | download 
1
2
3
4
5
6
7
 
functor F (type t
	   datatype u = U of t
	   eqtype v
	   sharing type t = v) =
   struct
      fun f (u: u) = u = u
   end