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