Mark [Kernel]Attribs.{inter,diff} as unused

BranchTaken · Jun 7, 2024 · 6bf26e9 · 6bf26e9
1 parent e534bd6
commit 6bf26e9
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/bootstrap/bin/hocc/attribs.mli b/bootstrap/bin/hocc/attribs.mli
@@ -67,9 +67,11 @@ val insert: Attrib.t -> t -> t
 val union: t -> t -> t
 (** [union t0 t1] returns the union of conflict attributions in [t0] and [t1]. *)
 
+(* XXX Not used. *)
 val inter: t -> t -> t
 (** [inter t0 t1] returns the intersection of conflict attributions in [t0] and [t1]. *)
 
+(* XXX Not used. *)
 val diff: t -> t -> t
 (** [diff t0 t1] returns the conflict attributions present in [t0] but not present in [t1]. *)
 

diff --git a/bootstrap/bin/hocc/kernelAttribs.mli b/bootstrap/bin/hocc/kernelAttribs.mli
@@ -64,9 +64,11 @@ val insert: Lr1Item.t -> Attribs.t -> t -> t
 val union: t -> t -> t
 (** [union t0 t1] returns the union of per kernel conflict attributions in [t0] and [t1]. *)
 
+(* XXX Not used. *)
 val inter: t -> t -> t
 (** [inter t0 t1] returns the intersection of per kernel conflict attributions in [t0] and [t1]. *)
 
+(* XXX Not used. *)
 val diff: t -> t -> t
 (** [diff t0 t1] returns the set of per kernel conflict contributions present in [t0] but not
     present in [t1]. *)