Module Flx_prop


module Flx_prop: sig .. end

val add_prop : Flx_types.fully_bound_symbol_table_t -> Flx_ast.property_t -> int -> unit
val rem_prop : Flx_types.fully_bound_symbol_table_t -> Flx_ast.property_t -> int -> unit
val get_vs : Flx_types.fully_bound_symbol_table_t -> int -> Flx_types.bvs_t