Module type Structural.w

module type a = sig ... end