Knowledge.Make
module I : Id.S
module R : Roles.S
type index = I.t
type group = R.group
type nonrec t = (I.t, R.group) t
and datum = (I.t, R.group) datum
val initial : t
val equal : t -> t -> bool