blob: bcf03d1ec4c59c3fee53ea244e5c222889ea2b7e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
structure M = struct
structure N = struct
class c t = t
val string_c : c string = "Hi"
end
end
val c : t :: Type -> M.N.c t -> t =
fn t :: Type => fn pf : M.N.c t => pf
val hi = c [string] _
val bool_c : M.N.c bool = True
val true = c [bool] _
val hi = c [string] _
con c = M.N.c
val int_c : c int = 0
val zero = c [int] _
|
