Previous
Up
Next
Module type
Lattice_type.With_Error_Top
module type
With_Error_Top =
sig
..
end
exception
Error_Top