sig val generate : string -> Lang.lfun -> Lang.F.var list -> MemTyped.chunk list -> (Lang.F.term list -> Lang.F.term) -> unit end