Module Flx_axiom


module Flx_axiom: sig .. end

val axiom_check : Flx_mtypes2.sym_state_t -> Flx_types.fully_bound_symbol_table_t -> unit