structure Language: sig val oldDefinition: bool option val abstractions: bool option val opOptional: bool option val limitedOpen : bool option val weakTyvars: bool option val fixityInSignatures: bool option val fixityInOpen: bool option val requireReservedWord: bool option val typeDynamic: bool option end