module Fd:Facile.Var.FD
with type t = Var.Fd.t and type domain = Domain.t and type elt = Domain.elt and type attr = Var.Attr.t and type event = Var.Attr.event
include Facile.Var.BASICFD
val remove : t -> elt -> unit
val values : t -> elt list
val iter : (elt -> unit) -> t -> unit