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