Std.GroupGroup is a non-empty set that is a result of partitioning of an underlying set S into a set of non-intersecting and non-empty subsets that cover set S. See Partition for more information.
type 'a t = 'a groupval enum : 'a group -> 'a Regular.Std.seqenum group enumerates all elements of a group, including the designated one.
val mem : 'a group -> 'a -> boolmem group x checks membership of x in a given group.
val top : 'a group -> 'atop group returns the top element of a group also known as a representative element. The function is total since groups is guaranteed to be non-empty.
to_equiv g returns the ordinal number representing the particular group g
val pp : 'a Regular.Std.printer -> 'a t Regular.Std.printerpp pp_elem g prints group g using element printer pp_elem