sig
val
make_closures :
Flx_mtypes2
.sym_state_t
->
Flx_types
.fully_bound_symbol_table_t
->
unit
end