Knowledge.S
type index
type group
type nonrec t = (index, group) t
and datum = (index, group) datum
val initial : t
val equal : t -> t -> bool