sig
  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
end