X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2FqNameSet.mli;h=537ceee58d2536267188c9ce783ca29f8d31a60e;hp=10c3be368a73b4980336e0cc38551c387265e7f4;hb=41dd1fed04cabad212f10fce3484545f6e9d9444;hpb=9b75e9a2074c357fc2c823156451209d2a4cef8b diff --git a/src/qNameSet.mli b/src/qNameSet.mli index 10c3be3..537ceee 100644 --- a/src/qNameSet.mli +++ b/src/qNameSet.mli @@ -13,15 +13,20 @@ (* *) (***********************************************************************) - (** Implementation of sets of Qualified Names that can be finite or cofinite *) include FiniteCofinite.S with type elt = QName.t -include Sigs.AUX.Printable with type t := t +include Common_sig.Printable with type t := t +val star : t +val text : t +val node : t -module Weak : - sig - include FiniteCofinite.S with type elt = QName.t - include Sigs.AUX.Printable with type t := t - end +module Weak : +sig + include FiniteCofinite.S with type elt = QName.t + include Common_sig.Printable with type t := t + val star : t + val text : t + val node : t +end