Module Flx_beta


module Flx_beta: sig .. end

val metatype : Flx_mtypes2.sym_state_t ->
Flx_ast.range_srcref -> Flx_types.btypecode_t -> Flx_types.btypecode_t
val beta_reduce : Flx_mtypes2.sym_state_t ->
Flx_ast.range_srcref -> Flx_types.btypecode_t -> Flx_types.btypecode_t