sig type t = Letify.Defs.t val empty : t val merge : t -> t -> t val extract : Lang.F.pred -> t val domain : t -> Lang.F.Vars.t end