Previous
Up
Next
Module type
Lattice_type.With_Error_Bottom
module type
With_Error_Bottom =
sig
..
end
exception
Error_Bottom