Up
Module type
S1
Signature
type
'a t
val
invariant : 'a
inv
-> 'a
t
inv