sig
  val gen_expr :
    Flx_mtypes2.sym_state_t ->
    Flx_types.fully_bound_symbol_table_t ->
    int ->
    Flx_types.tbexpr_t ->
    Flx_types.bvs_t ->
    Flx_types.btypecode_t list -> Flx_ast.range_srcref -> string
  val gen_expr' :
    Flx_mtypes2.sym_state_t ->
    Flx_types.fully_bound_symbol_table_t ->
    int ->
    Flx_types.tbexpr_t ->
    Flx_types.bvs_t ->
    Flx_types.btypecode_t list -> Flx_ast.range_srcref -> Flx_ctypes.cexpr_t
  val get_var_ref :
    Flx_mtypes2.sym_state_t ->
    Flx_types.fully_bound_symbol_table_t ->
    int -> int -> Flx_types.btypecode_t list -> string
end