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