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