4 lines
94 B
Text
4 lines
94 B
Text
f : int -> int
|
|
boxed_f : f<int, int>
|
|
apply_boxed_f : [`a, `b] f<`a, `b> * `a -> `b
|
|
main : int
|