Up – base » Base__ » Invariant_intf » S

Module type `Invariant_intf.S`

type t

val invariant : t inv