Module type Sig.With_Top

type t
val top : t