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