Closure
val intro : backend:(module Backend_intf.S) -> size:int -> Lambda.lambda -> Clambda.ulambda
val reset : unit -> unit