Module type Typ.S

type field
module Var : sig ... end
module Value : sig ... end