module Flx_typeclass: sig
.. end
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