sig
type
t
val
top_opt :
Lattice_type
.
With_Top_Opt
.t option
end