Module type DSL.S

type t
val t : t ty