sig
  val typeclass_instance_check :
    Flx_mtypes2.sym_state_t ->
    Flx_types.fully_bound_symbol_table_t -> Flx_child.child_map_t -> unit
  val fixup_typeclass_instance :
    Flx_mtypes2.sym_state_t ->
    Flx_types.fully_bound_symbol_table_t ->
    int -> Flx_types.btypecode_t list -> int * Flx_types.btypecode_t list
  val maybe_fixup_typeclass_instance :
    Flx_mtypes2.sym_state_t ->
    Flx_types.fully_bound_symbol_table_t ->
    int -> Flx_types.btypecode_t list -> int * Flx_types.btypecode_t list
  val fixup_typeclass_instances :
    Flx_mtypes2.sym_state_t -> Flx_types.fully_bound_symbol_table_t -> unit
  val tcinst_chk :
    Flx_mtypes2.sym_state_t ->
    bool ->
    int ->
    Flx_types.btypecode_t list ->
    Flx_ast.range_srcref ->
    Flx_types.bvs_t * Flx_types.btypecode_t * Flx_types.btypecode_t list *
    int -> (int * Flx_types.btypecode_t list) option
end