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