Module type Structural.u

module type a = sig ... end