Hyperedge.Self
type nonrec t = t
val show : (InductiveDefinition.t * SL.Term.t list) -> string
val compare : t -> t -> int