Up
–
base
»
Base
»
Invariant
» S
Module type
Invariant.S
type
t
val
invariant :
t
Base__.Invariant_intf.inv