module type With_Top_Opt = sig .. end
sig
end
type t
val top_opt : t option
t option
optional largest element