Up
module
Closure
:
sig
#
val
intro : int
->
Lambda
.
lambda
->
Clambda
.
ulambda
#
val
reset : unit
->
unit
end