module type Sig  = sig val x : int val y : string[@@attr ] end