Module type S

Signature

type t

val invariant : t inv