structure Compiler: sig val generateDebugInfo: bool option val generateTraceProfileCode: bool option val generateVariableDebugInfo: bool option val interruptTightLoops: bool option val optimizeHandlers: bool option val optimizeLeaffns: bool option val optimizeSelfTailCalls: bool option val optimizeTailCalls: bool option val printCompilerMessages: bool option end