sig
  val register_type_nr :
    Flx_mtypes2.sym_state_t -> Flx_types.btypecode_t -> unit
  val register_tuple :
    Flx_mtypes2.sym_state_t -> Flx_types.btypecode_t -> unit
  val register_type_r :
    (int -> Flx_types.btypecode_t list -> unit) ->
    Flx_mtypes2.sym_state_t ->
    Flx_types.fully_bound_symbol_table_t ->
    Flx_types.btypecode_t list ->
    Flx_ast.range_srcref -> Flx_types.btypecode_t -> unit
end