sig
  val metatype :
    Flx_mtypes2.sym_state_t ->
    (int * Flx_types.btypecode_t) list ->
    Flx_types.btypecode_t -> Flx_types.btypecode_t
  val beta_reduce :
    Flx_mtypes2.sym_state_t ->
    (int * Flx_types.btypecode_t) list ->
    Flx_types.btypecode_t -> Flx_types.btypecode_t
end