Module Flx_why


module Flx_why: sig .. end

val emit_whycode : string ->
Flx_mtypes2.sym_state_t ->
Flx_types.fully_bound_symbol_table_t -> int -> unit