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