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