8 lines
261 B
Text
8 lines
261 B
Text
|
apply : (int -> int) -> (int -> int)
|
||
|
|
succ : int -> int
|
||
|
|
apply2 : (int -> (int -> int)) -> (int -> (int -> int))
|
||
|
|
addmul : int -> (int -> int)
|
||
|
|
apply3 : (int -> (int -> (int -> int))) -> (int -> (int -> (int -> int)))
|
||
|
|
conj : int -> (int -> (int -> int))
|
||
|
|
main : int
|