include Sigs.T with type t = int
val make : unit -> t
val dummy : t