Up
–
codex
»
Lattices
»
Sig
» With_Bottom
Module type
Sig.With_Bottom
type
t
val
bottom :
t
val
is_bottom :
t
->
bool