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