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