Up – base » Base__ » Invariant_intf » Invariant » S1

Module type `Invariant.S1`

type 'a t

val invariant : 'a inv -> 'a t inv