module Flx_why: sig .. end
sig
end
val emit_whycode : string -> Flx_mtypes2.sym_state_t -> Flx_types.fully_bound_symbol_table_t -> int -> unit
string -> Flx_mtypes2.sym_state_t -> Flx_types.fully_bound_symbol_table_t -> int -> unit