sig
val string_of_typecode : Flx_ast.typecode_t -> string
val string_of_btypecode :
Flx_types.symbol_table_t -> Flx_types.btypecode_t -> string
val sbt : Flx_types.symbol_table_t -> Flx_types.btypecode_t -> string
val special_string_of_typecode : Flx_ast.typecode_t -> string
val string_of_expr : Flx_ast.expr_t -> string
val string_of_bound_expression :
Flx_types.symbol_table_t -> Flx_types.tbexpr_t -> string
val string_of_bound_expression_with_type :
Flx_types.symbol_table_t -> Flx_types.tbexpr_t -> string
val sbe : Flx_types.symbol_table_t -> Flx_types.tbexpr_t -> string
val tsbe : Flx_types.symbol_table_t -> Flx_types.tbexpr_t -> string
val string_of_pattern : Flx_ast.pattern_t -> string
val string_of_tpattern : Flx_ast.tpattern_t -> string
val string_of_literal : Flx_ast.literal_t -> string
val string_of_parameters : Flx_ast.params_t -> string
val string_of_arguments : Flx_ast.expr_t list -> string
val string_of_statement : int -> Flx_ast.statement_t -> string
val string_of_compilation_unit : Flx_ast.compilation_unit_t -> string
val string_of_desugared : Flx_types.asm_t list -> string
val string_of_suffixed_name : Flx_ast.suffixed_name_t -> string
val string_of_qualified_name : Flx_ast.qualified_name_t -> string
val string_of_dcl :
int ->
Flx_ast.id_t ->
int option -> Flx_ast.vs_list_t -> Flx_types.dcl_t -> string
val string_of_bexe :
Flx_types.symbol_table_t -> int -> Flx_types.bexe_t -> string
val sbx : Flx_types.symbol_table_t -> Flx_types.bexe_t -> string
val string_of_exe : int -> Flx_ast.exe_t -> string
val qualified_name_of_index : Flx_types.symbol_table_t -> int -> string
val string_of_bbdcl :
Flx_types.symbol_table_t -> Flx_types.bbdcl_t -> int -> string
val string_of_symdef :
Flx_types.symbol_definition_t -> string -> Flx_ast.ivs_list_t -> string
val string_of_entry_kind : Flx_types.entry_kind_t -> string
val full_string_of_entry_kind :
Flx_types.symbol_table_t -> Flx_types.entry_kind_t -> string
val string_of_entry_set : Flx_types.entry_set_t -> string
val full_string_of_entry_set :
Flx_types.symbol_table_t -> Flx_types.entry_set_t -> string
val string_of_varlist :
Flx_types.symbol_table_t -> (int * Flx_types.btypecode_t) list -> string
val string_of_bigint : Flx_ast.bigint -> string
val print_env : Flx_types.env_t -> unit
val print_env_short : Flx_types.env_t -> unit
val print_functions :
Flx_types.symbol_table_t -> Flx_types.fully_bound_symbol_table_t -> unit
end