Up
–
codex
»
Lattices
»
Sig
» With_Top
Module type
Sig.With_Top
type
t
val
top :
t