sig type t val top : Lattice_type.With_Top.t end