<> <> <> <> <> <> Include [SaffronAG, SaffronBaseDecls]; NoopMethods1: Module = Begin <> for Junk: AbstractProduction [ ] let foo[tree] _ 0 ; <> for Exp.sum: AbstractProduction [ Exp.left, AddOp, Exp.right ] let foo[tree] _ 0 ; for Exp.unarysum: AbstractProduction [ AddOp, Exp ] let foo[tree] _ 0 ; for Exp.product: AbstractProduction [ Exp.left, MultOp, Exp.right ] let foo[tree] _ 0 ; for Exp.or: AbstractProduction [ Exp.left, Exp.right ] let foo[tree] _ 0 ; for Exp.and: AbstractProduction [ Exp.left, Exp.right ] let foo[tree] _ 0 ; for Exp.not: AbstractProduction [ Exp ] let foo[tree] _ 0 ; for Exp.relation: AbstractProduction [ Exp, Relation ] let foo[tree] _ 0 ; for Exp.ifthenelse: AbstractProduction [ Exp.cond, Exp.thenpart, Exp.elsepart ] let foo[tree] _ 0 ; for Exp.select: AbstractProduction [ SelectHead, SelectExpList, Exp.default ] let foo[tree] _ 0 ; for Exp.assign: AbstractProduction [ Exp.lhs, Exp.rhs ] let foo[tree] _ 0 ; for Exp.multiassign: AbstractProduction [ ExpList, Exp ] let foo[tree] _ 0 ; for Exp.id: AbstractProduction [ Id ] let foo[tree] _ 0 ; for Exp.num: AbstractProduction [ Num ] let foo[tree] _ 0 ; for Exp.string: AbstractProduction [ String ] let foo[tree] _ 0 ; for Exp.flnum: AbstractProduction [ Flnum ] let foo[tree] _ 0 ; for Exp.char: AbstractProduction [ Char ] let foo[tree] _ 0 ; for Exp.atom: AbstractProduction [ Atom ] let foo[tree] _ 0 ; for Exp.narrow: AbstractProduction [ Exp, OptType, Catch ] let foo[tree] _ 0 ; for Exp.loophole: AbstractProduction [ Exp, OptType ] let foo[tree] _ 0 ; for Exp.apply: AbstractProduction [ Exp.rator, Exp.rand, Catch ] let foo[tree] _ 0 ; for Exp.qualifier: AbstractProduction [ Exp, Qualifier ] let foo[tree] _ 0 ; for Exp.explist: AbstractProduction [ ExpList ] let foo[tree] _ 0 ; for Exp.prefixop: AbstractProduction [ PrefixOp, OrderList ] let foo[tree] _ 0 ; for Exp.val: AbstractProduction [ OrderList ] let foo[tree] _ 0 ; for Exp.all: AbstractProduction [ OrderList ] let foo[tree] _ 0 ; for Exp.new: AbstractProduction [ New, TypeExp, Initialization, Catch ] let foo[tree] _ 0 ; for Exp.cons: AbstractProduction [ Cons, ExpList, Catch ] let foo[tree] _ 0 ; for Exp.listcons: AbstractProduction [ ListCons, ExpList ] let foo[tree] _ 0 ; for Exp.nil: AbstractProduction [ ] let foo[tree] _ 0 ; for Exp.typeop: AbstractProduction [ TypeOp, TypeExp ] let foo[tree] _ 0 ; for Exp.size: AbstractProduction [ TypeExp ] let foo[tree] _ 0 ; for Exp.size2: AbstractProduction [ TypeExp, Exp ] let foo[tree] _ 0 ; for Exp.istype: AbstractProduction [ Exp, TypeExp ] let foo[tree] _ 0 ; for Exp.address: AbstractProduction [ Exp ] let foo[tree] _ 0 ; for Exp.descriptor: AbstractProduction [ DescList ] let foo[tree] _ 0 ; for Exp.error: AbstractProduction [ ] let foo[tree] _ 0 ; for Exp.transfer: AbstractProduction [ TransferOp, Exp ] let foo[tree] _ 0 ; <> for Num.decimal: AbstractProduction [ Decimalnum ] let foo[tree] _ 0 ; for Num.octal: AbstractProduction [ Octalnum ] let foo[tree] _ 0 ; for Num.hex: AbstractProduction [ Hexnum ] let foo[tree] _ 0 ; <> for AddOp.plus: AbstractProduction [ ] let foo[tree] _ 0 ; for AddOp.minus: AbstractProduction [ ] let foo[tree] _ 0 ; <> for MultOp.times: AbstractProduction [ ] let foo[tree] _ 0 ; for MultOp.divide: AbstractProduction [ ] let foo[tree] _ 0 ; for MultOp.mod: AbstractProduction [ ] let foo[tree] _ 0 ; <> for SelectHead.plain: AbstractProduction [ Exp ] let foo[tree] _ 0 ; for SelectHead.discriminating: AbstractProduction [ BindItem, OptExp ] let foo[tree] _ 0 ; <> for SelectExpList.empty: AbstractProduction [ ] let foo[tree] _ 0 ; for SelectExpList.more: AbstractProduction [ SelectExpList, SelectExpItem ] let foo[tree] _ 0 ; <> for SelectExpItem: AbstractProduction [ SelectLabel, Exp ] let foo[tree] _ 0 ; <> for SelectLabel.type: AbstractProduction [ Ident, TypeExp ] let foo[tree] _ 0 ; for SelectLabel.test: AbstractProduction [ SelectTestList ] let foo[tree] _ 0 ; <> for SelectTestList.one: AbstractProduction [ Relation ] let foo[tree] _ 0 ; for SelectTestList.more: AbstractProduction [ SelectTestList, Relation ] let foo[tree] _ 0 ; End; NoopMethods2: Module = Begin <> for Relation.negative: AbstractProduction [ RelationTail ] let foo[tree] _ 0 ; for Relation.positive: AbstractProduction [ RelationTail ] let foo[tree] _ 0 ; <> for RelationTail.range: AbstractProduction [ Range ] let foo[tree] _ 0 ; for RelationTail.relop: AbstractProduction [ Relop, Exp ] let foo[tree] _ 0 ; <> for Relop.eq: AbstractProduction [ ] let foo[tree] _ 0 ; for Relop.ne: AbstractProduction [ ] let foo[tree] _ 0 ; for Relop.lt: AbstractProduction [ ] let foo[tree] _ 0 ; for Relop.le: AbstractProduction [ ] let foo[tree] _ 0 ; for Relop.gt: AbstractProduction [ ] let foo[tree] _ 0 ; for Relop.ge: AbstractProduction [ ] let foo[tree] _ 0 ; <> for Range.typeid: AbstractProduction [ TypeId ] let foo[tree] _ 0 ; for Range.subrange: AbstractProduction [ Subrange ] let foo[tree] _ 0 ; <> for Catch: AbstractProduction [ CatchCaseList, CatchAny ] let foo[tree] _ 0 ; <> for CatchAny.absent: AbstractProduction [ ] let foo[tree] _ 0 ; for CatchAny.present: AbstractProduction [ Statement ] let foo[tree] _ 0 ; <> for CatchCaseList.empty: AbstractProduction [ ] let foo[tree] _ 0 ; for CatchCaseList.more: AbstractProduction [ CatchCaseList, CatchCase ] let foo[tree] _ 0 ; <> for CatchCase: AbstractProduction [ SignalList, Statement ] let foo[tree] _ 0 ; <> for SignalList.one: AbstractProduction [ Exp ] let foo[tree] _ 0 ; for SignalList.more: AbstractProduction [ SignalList, Exp ] let foo[tree] _ 0 ; <> for ExpList.keylist: AbstractProduction [ KeyList ] let foo[tree] _ 0 ; for ExpList.orderlist: AbstractProduction [ OrderList ] let foo[tree] _ 0 ; <> for KeyList.one: AbstractProduction [ KeyItem ] let foo[tree] _ 0 ; for KeyList.more: AbstractProduction [ KeyList, KeyItem ] let foo[tree] _ 0 ; <> for KeyItem: AbstractProduction [ Id, OptExp ] let foo[tree] _ 0 ; <> for OrderList.one: AbstractProduction [ OptExp ] let foo[tree] _ 0 ; for OrderList.more: AbstractProduction [ OrderList, OptExp ] let foo[tree] _ 0 ; <> for OptExp.empty: AbstractProduction [ ] let foo[tree] _ 0 ; for OptExp.trash: AbstractProduction [ ] let foo[tree] _ 0 ; for OptExp.exp: AbstractProduction [ Exp ] let foo[tree] _ 0 ; <> for OptType.absent: AbstractProduction [ ] let foo[tree] _ 0 ; for OptType.present: AbstractProduction [ TypeExp ] let foo[tree] _ 0 ; <> for Qualifier.prefixop: AbstractProduction [ PrefixOp ] let foo[tree] _ 0 ; for Qualifier.typeop: AbstractProduction [ TypeOp ] let foo[tree] _ 0 ; for Qualifier.size: AbstractProduction [ ] let foo[tree] _ 0 ; for Qualifier.apply: AbstractProduction [ ExpList, Catch ] let foo[tree] _ 0 ; for Qualifier.select: AbstractProduction [ Id ] let foo[tree] _ 0 ; for Qualifier.indirect: AbstractProduction [ ] let foo[tree] _ 0 ; <> for PrefixOp.long : AbstractProduction [ ] let foo[tree] _ 0 ; for PrefixOp.abs : AbstractProduction [ ] let foo[tree] _ 0 ; for PrefixOp.pred : AbstractProduction [ ] let foo[tree] _ 0 ; for PrefixOp.succ : AbstractProduction [ ] let foo[tree] _ 0 ; for PrefixOp.ord : AbstractProduction [ ] let foo[tree] _ 0 ; for PrefixOp.min : AbstractProduction [ ] let foo[tree] _ 0 ; for PrefixOp.max : AbstractProduction [ ] let foo[tree] _ 0 ; for PrefixOp.base : AbstractProduction [ ] let foo[tree] _ 0 ; for PrefixOp.length : AbstractProduction [ ] let foo[tree] _ 0 ; <> for TypeOp.code: AbstractProduction [ ] let foo[tree] _ 0 ; for TypeOp.first: AbstractProduction [ ] let foo[tree] _ 0 ; for TypeOp.last: AbstractProduction [ ] let foo[tree] _ 0 ; for TypeOp.nil: AbstractProduction [ ] let foo[tree] _ 0 ; End; NoopMethods3: Module = Begin <> for New.plain: AbstractProduction [ ] let foo[tree] _ 0 ; for New.zoned: AbstractProduction [ Exp ] let foo[tree] _ 0 ; <> for Cons.plain: AbstractProduction [ ] let foo[tree] _ 0 ; for Cons.zoned: AbstractProduction [ Exp ] let foo[tree] _ 0 ; <> for ListCons.plain: AbstractProduction [ ] let foo[tree] _ 0 ; for ListCons.zoned: AbstractProduction [ Exp ] let foo[tree] _ 0 ; <> for DescList.explicitlength: AbstractProduction [ Exp.base, Exp.length, OptType ] let foo[tree] _ 0 ; for DescList.defaultlength: AbstractProduction [ Exp ] let foo[tree] _ 0 ; <> for Initialization.empty: AbstractProduction [ ] let foo[tree] _ 0 ; for Initialization.binding: AbstractProduction [ InitialValue ] let foo[tree] _ 0 ; for Initialization.assignment: AbstractProduction [ InitialValue ] let foo[tree] _ 0 ; <> for InitialValue.trash: AbstractProduction [ ] let foo[tree] _ 0 ; for InitialValue.code: AbstractProduction [ ] let foo[tree] _ 0 ; for InitialValue.exp: AbstractProduction [ Exp ] let foo[tree] _ 0 ; for InitialValue.block: AbstractProduction [ Checked, Inline, Block ] let foo[tree] _ 0 ; for InitialValue.machinecode: AbstractProduction [ Checked, CodeList ] let foo[tree] _ 0 ; <> for Checked.empty: AbstractProduction [ ] let foo[tree] _ 0 ; for Checked.checked: AbstractProduction [ ] let foo[tree] _ 0 ; for Checked.trusted: AbstractProduction [ ] let foo[tree] _ 0 ; for Checked.unchecked: AbstractProduction [ ] let foo[tree] _ 0 ; <> for Inline.yes: AbstractProduction [ ] let foo[tree] _ 0 ; for Inline.no: AbstractProduction [ ] let foo[tree] _ 0 ; <> for CodeList.one: AbstractProduction [ OrderList ] let foo[tree] _ 0 ; for CodeList.more: AbstractProduction [ CodeList, OrderList ] let foo[tree] _ 0 ; <> for TransferOp.signal: AbstractProduction [ ] let foo[tree] _ 0 ; for TransferOp.error: AbstractProduction [ ] let foo[tree] _ 0 ; for TransferOp.start: AbstractProduction [ ] let foo[tree] _ 0 ; for TransferOp.join: AbstractProduction [ ] let foo[tree] _ 0 ; for TransferOp.new: AbstractProduction [ ] let foo[tree] _ 0 ; for TransferOp.fork: AbstractProduction [ ] let foo[tree] _ 0 ; End; NoopMethods4: Module = Begin <> for Statement.ifthen: AbstractProduction [ Exp, Statement ] let foo[tree] _ 0 ; for Statement.ifthenelse: AbstractProduction [ Exp, Statement.thenpart, Statement.elsepart ] let foo[tree] _ 0 ; for Statement.select: AbstractProduction [ SelectHead, SelectStmtList, OptStatement ] let foo[tree] _ 0 ; for Statement.exp: AbstractProduction [ Exp ] let foo[tree] _ 0 ; for Statement.assign: AbstractProduction [ Exp.lhs, Exp.rhs ] let foo[tree] _ 0 ; for Statement.multiassign: AbstractProduction [ ExpList, Exp ] let foo[tree] _ 0 ; for Statement.block: AbstractProduction [ Checked, Block ] let foo[tree] _ 0 ; for Statement.loopcontrol: AbstractProduction [ ForClause, DoTest, Scope, DoExit ] let foo[tree] _ 0 ; for Statement.exit: AbstractProduction [ ] let foo[tree] _ 0 ; for Statement.loop: AbstractProduction [ ] let foo[tree] _ 0 ; for Statement.goto: AbstractProduction [ Id ] let foo[tree] _ 0 ; for Statement.return: AbstractProduction [ OptArgs ] let foo[tree] _ 0 ; for Statement.transfer: AbstractProduction [ Transfer, Exp ] let foo[tree] _ 0 ; for Statement.free: AbstractProduction [ Free, Exp, Catch ] let foo[tree] _ 0 ; for Statement.wait: AbstractProduction [ Exp ] let foo[tree] _ 0 ; for Statement.error: AbstractProduction [ ] let foo[tree] _ 0 ; for Statement.stop: AbstractProduction [ ] let foo[tree] _ 0 ; for Statement.null: AbstractProduction [ ] let foo[tree] _ 0 ; for Statement.resume: AbstractProduction [ OptArgs ] let foo[tree] _ 0 ; for Statement.reject: AbstractProduction [ ] let foo[tree] _ 0 ; for Statement.continue: AbstractProduction [ ] let foo[tree] _ 0 ; for Statement.retry: AbstractProduction [ ] let foo[tree] _ 0 ; for Statement.getstate: AbstractProduction [ Exp ] let foo[tree] _ 0 ; for Statement.setstate: AbstractProduction [ Exp ] let foo[tree] _ 0 ; <> for OptStatement.absent: AbstractProduction [ ] let foo[tree] _ 0 ; for OptStatement.present: AbstractProduction [ Statement ] let foo[tree] _ 0 ; <> for SelectStmtList.empty: AbstractProduction [ ] let foo[tree] _ 0 ; for SelectStmtList.more: AbstractProduction [ SelectStmtList, SelectStmtItem ] let foo[tree] _ 0 ; <> for SelectStmtItem: AbstractProduction [ SelectLabel, Statement ] let foo[tree] _ 0 ; <> for Block: AbstractProduction [ Scope, ExitList ] let foo[tree] _ 0 ; <> for Scope: AbstractProduction [ BindList, Catch, OptDecList, StatementList ] let foo[tree] _ 0 ; End; NoopMethods5: Module = Begin <> for OptDecList.absent: AbstractProduction [ ] let foo[tree] _ 0 ; for OptDecList.present: AbstractProduction [ DecList ] let foo[tree] _ 0 ; <> for StatementList.empty: AbstractProduction [ ] let foo[tree] _ 0 ; for StatementList.more: AbstractProduction [ StatementList, Statement ] let foo[tree] _ 0 ; <> for DecList.one: AbstractProduction [ Declaration ] let foo[tree] _ 0 ; for DecList.many: AbstractProduction [ DecList.head, DecList.tail ] let foo[tree] _ 0 ; <> for Declaration.value: AbstractProduction [ IdentList, Access, Entry, ReadOnly, TypeExp, Initialization ] let foo[tree] _ 0 ; for Declaration.type: AbstractProduction [ IdentList, Access.id, Access.type, TypeExp, Default ] let foo[tree] _ 0 ; for Declaration.opaquetype: AbstractProduction [ IdentList, Access, OptSize ] let foo[tree] _ 0 ; <> for OptSize.absent: AbstractProduction [ ] let foo[tree] _ 0 ; for OptSize.present: AbstractProduction [ Exp ] let foo[tree] _ 0 ; <> for Entry.entry: AbstractProduction [ ] let foo[tree] _ 0 ; for Entry.internal: AbstractProduction [ ] let foo[tree] _ 0 ; for Entry.empty: AbstractProduction [ ] let foo[tree] _ 0 ; <> for ExitList.empty: AbstractProduction [ ] let foo[tree] _ 0 ; for ExitList.more: AbstractProduction [ ExitList, ExitItem ] let foo[tree] _ 0 ; <> for ExitItem: AbstractProduction [ IdList, Statement ] let foo[tree] _ 0 ; <> for BindList.empty: AbstractProduction [ ] let foo[tree] _ 0 ; for BindList.more: AbstractProduction [ BindList, BindItem ] let foo[tree] _ 0 ; <> for BindItem.named: AbstractProduction [ Id, Exp ] let foo[tree] _ 0 ; for BindItem.unnamed: AbstractProduction [ Exp ] let foo[tree] _ 0 ; <> for ForClause.assignation: AbstractProduction [ ControlId, Exp.initial, Exp.next ] let foo[tree] _ 0 ; for ForClause.iteration: AbstractProduction [ ControlId, Decreasing, Range ] let foo[tree] _ 0 ; for ForClause.repetition: AbstractProduction [ Range ] let foo[tree] _ 0 ; for ForClause.empty: AbstractProduction [ ] let foo[tree] _ 0 ; <> for ControlId.new: AbstractProduction [ Ident, TypeExp ] let foo[tree] _ 0 ; for ControlId.old: AbstractProduction [ Id ] let foo[tree] _ 0 ; <> for Decreasing.yes: AbstractProduction [ ] let foo[tree] _ 0 ; for Decreasing.no: AbstractProduction [ ] let foo[tree] _ 0 ; <> for DoTest.until: AbstractProduction [ Exp ] let foo[tree] _ 0 ; for DoTest.while: AbstractProduction [ Exp ] let foo[tree] _ 0 ; for DoTest.empty: AbstractProduction [ ] let foo[tree] _ 0 ; <> for DoExit: AbstractProduction [ ExitList, OptStatement ] let foo[tree] _ 0 ; <> for OptArgs.explist: AbstractProduction [ ExpList ] let foo[tree] _ 0 ; for OptArgs.exp: AbstractProduction [ Exp ] let foo[tree] _ 0 ; for OptArgs.empty: AbstractProduction [ ] let foo[tree] _ 0 ; <> for Transfer.signal: AbstractProduction [ ] let foo[tree] _ 0 ; for Transfer.error: AbstractProduction [ ] let foo[tree] _ 0 ; for Transfer.returnwitherror: AbstractProduction [ ] let foo[tree] _ 0 ; for Transfer.start: AbstractProduction [ ] let foo[tree] _ 0 ; for Transfer.restart: AbstractProduction [ ] let foo[tree] _ 0 ; for Transfer.join: AbstractProduction [ ] let foo[tree] _ 0 ; for Transfer.notify: AbstractProduction [ ] let foo[tree] _ 0 ; for Transfer.broadcast: AbstractProduction [ ] let foo[tree] _ 0 ; for Transfer.transferwith: AbstractProduction [ ] let foo[tree] _ 0 ; for Transfer.returnwith: AbstractProduction [ ] let foo[tree] _ 0 ; <> for Free.plain: AbstractProduction [ ] let foo[tree] _ 0 ; for Free.zoned: AbstractProduction [ Exp ] let foo[tree] _ 0 ; End; NoopMethods6: Module = Begin <> for TypeId.id: AbstractProduction [ Id ] let foo[tree] _ 0 ; for TypeId.qualifier: AbstractProduction [ TypeId, Id ] let foo[tree] _ 0 ; <> for Subrange.named: AbstractProduction [ TypeId, Interval ] let foo[tree] _ 0 ; for Subrange.unnamed: AbstractProduction [ Interval ] let foo[tree] _ 0 ; <> for Interval.cc: AbstractProduction [ Bounds ] let foo[tree] _ 0 ; for Interval.co: AbstractProduction [ Bounds ] let foo[tree] _ 0 ; for Interval.oc: AbstractProduction [ Bounds ] let foo[tree] _ 0 ; for Interval.oo: AbstractProduction [ Bounds ] let foo[tree] _ 0 ; <> for Bounds: AbstractProduction [ Bound.lower, Bound.upper ] let foo[tree] _ 0 ; <> for Bound: AbstractProduction [ Exp ] let foo[tree] _ 0 ; <> for MachineDependent.yes: AbstractProduction [ ] let foo[tree] _ 0 ; for MachineDependent.no: AbstractProduction [ ] let foo[tree] _ 0 ; <> for Monitored.yes: AbstractProduction [ ] let foo[tree] _ 0 ; for Monitored.no: AbstractProduction [ ] let foo[tree] _ 0 ; End; NoopMethods7: Module = Begin <> for Access.empty: AbstractProduction [ ] let foo[tree] _ 0 ; for Access.public: AbstractProduction [ ] let foo[tree] _ 0 ; for Access.private: AbstractProduction [ ] let foo[tree] _ 0 ; <> for Default.empty: AbstractProduction [ ] let foo[tree] _ 0 ; for Default.gets: AbstractProduction [ ] let foo[tree] _ 0 ; for Default.getsexp: AbstractProduction [ Exp ] let foo[tree] _ 0 ; for Default.getstrash: AbstractProduction [ ] let foo[tree] _ 0 ; for Default.getsexportrash: AbstractProduction [ Exp ] let foo[tree] _ 0 ; <> for Position: AbstractProduction [ Exp, OptBits ] let foo[tree] _ 0 ; <> for OptBits.absent: AbstractProduction [ ] let foo[tree] _ 0 ; for OptBits.present: AbstractProduction [ Bounds ] let foo[tree] _ 0 ; <> for Tag.ident: AbstractProduction [ Ident, Access, TagType ] let foo[tree] _ 0 ; for Tag.computed: AbstractProduction [ TagType ] let foo[tree] _ 0 ; for Tag.overlaid: AbstractProduction [ TagType ] let foo[tree] _ 0 ; <> for TagType.star: AbstractProduction [ ] let foo[tree] _ 0 ; for TagType.typeexp: AbstractProduction [ TypeExp ] let foo[tree] _ 0 ; <> for VariantList.one: AbstractProduction [ VariantItem ] let foo[tree] _ 0 ; for VariantList.more: AbstractProduction [ VariantList, VariantItem ] let foo[tree] _ 0 ; <> for VariantItem: AbstractProduction [ IdList, RecList ] let foo[tree] _ 0 ; <> for Packed.yes: AbstractProduction [ ] let foo[tree] _ 0 ; for Packed.no: AbstractProduction [ ] let foo[tree] _ 0 ; End; NoopMethods8: Module = Begin <> for IdList.one: AbstractProduction [ Id ] let foo[tree] _ 0 ; for IdList.more: AbstractProduction [ Id, IdList ] let foo[tree] _ 0 ; <> for Ordered.yes: AbstractProduction [ ] let foo[tree] _ 0 ; for Ordered.no: AbstractProduction [ ] let foo[tree] _ 0 ; <> for Base.yes: AbstractProduction [ ] let foo[tree] _ 0 ; for Base.no: AbstractProduction [ ] let foo[tree] _ 0 ; <> for PointerType.unspecified: AbstractProduction [ OptInterval ] let foo[tree] _ 0 ; for PointerType.specified: AbstractProduction [ OptInterval, ReadOnly, TypeExp ] let foo[tree] _ 0 ; <> for OptInterval.absent: AbstractProduction [ ] let foo[tree] _ 0 ; for OptInterval.present: AbstractProduction [ Interval ] let foo[tree] _ 0 ; <> for ReadOnly.yes: AbstractProduction [ ] let foo[tree] _ 0 ; for ReadOnly.no: AbstractProduction [ ] let foo[tree] _ 0 ; <> for Safe.empty: AbstractProduction [ ] let foo[tree] _ 0 ; for Safe.yes: AbstractProduction [ ] let foo[tree] _ 0 ; for Safe.no: AbstractProduction [ ] let foo[tree] _ 0 ; <> for TransferMode.proc: AbstractProduction [ ] let foo[tree] _ 0 ; for TransferMode.port: AbstractProduction [ ] let foo[tree] _ 0 ; for TransferMode.signal: AbstractProduction [ ] let foo[tree] _ 0 ; for TransferMode.error: AbstractProduction [ ] let foo[tree] _ 0 ; for TransferMode.process: AbstractProduction [ ] let foo[tree] _ 0 ; for TransferMode.program: AbstractProduction [ ] let foo[tree] _ 0 ; <> for Arguments: AbstractProduction [ ParameterList.input, ParameterList.output ] let foo[tree] _ 0 ; <> for ParameterList.empty: AbstractProduction [ ] let foo[tree] _ 0 ; for ParameterList.any: AbstractProduction [ ] let foo[tree] _ 0 ; for ParameterList.pairlist: AbstractProduction [ PairList ] let foo[tree] _ 0 ; for ParameterList.typelist: AbstractProduction [ TypeList ] let foo[tree] _ 0 ; <> for Uncounted.yes: AbstractProduction [ ] let foo[tree] _ 0 ; for Uncounted.no: AbstractProduction [ ] let foo[tree] _ 0 ; <> for TypeApply.one: AbstractProduction [ TypeId, Exp ] let foo[tree] _ 0 ; for TypeApply.morelengths: AbstractProduction [ TypeApply, Exp ] let foo[tree] _ 0 ; for TypeApply.moreids: AbstractProduction [ TypeApply, Id ] let foo[tree] _ 0 ; End; NoopMethods9: Module = Begin <> for ModuleP.impl: AbstractProduction [ Directory, IdentList, Cedar, ProgHead, Checked, Block ] let foo[tree] _ 0 ; for ModuleP.def: AbstractProduction [ Directory, IdentList, Cedar, DefHead, DefBody ] let foo[tree] _ 0 ; <> for Directory.empty: AbstractProduction [ ] let foo[tree] _ 0 ; for Directory.more: AbstractProduction [ Directory, IncludeItem ] let foo[tree] _ 0 ; <> for IncludeItem.fromp: AbstractProduction [ Id, String, Using ] let foo[tree] _ 0 ; for IncludeItem.type: AbstractProduction [ Id, Using ] let foo[tree] _ 0 ; for IncludeItem.plain: AbstractProduction [ Id, Using ] let foo[tree] _ 0 ; for IncludeItem.typeandid: AbstractProduction [ Id.local, Id.global, Using ] let foo[tree] _ 0 ; <> for Using.restricted: AbstractProduction [ IdList ] let foo[tree] _ 0 ; for Using.nothing: AbstractProduction [ ] let foo[tree] _ 0 ; for Using.unrestricted: AbstractProduction [ ] let foo[tree] _ 0 ; <> for DefBody: AbstractProduction [ BindList, DecList ] let foo[tree] _ 0 ; <> for DefHead: AbstractProduction [ Locks, ModuleList, Shares, Access ] let foo[tree] _ 0 ; <> for Cedar.yes: AbstractProduction [ ] let foo[tree] _ 0 ; for Cedar.no: AbstractProduction [ ] let foo[tree] _ 0 ; <> for ProgHead: AbstractProduction [ Safe, Class, Arguments, Locks, Interface, Access ] let foo[tree] _ 0 ; <> for Class.program: AbstractProduction [ ] let foo[tree] _ 0 ; for Class.monitor: AbstractProduction [ ] let foo[tree] _ 0 ; <> for Interface: AbstractProduction [ ModuleList.imports, ModuleList.exports, Shares ] let foo[tree] _ 0 ; <> for ModuleList.empty: AbstractProduction [ ] let foo[tree] _ 0 ; for ModuleList.more: AbstractProduction [ ModuleList, ModuleItem ] let foo[tree] _ 0 ; <> for ModuleItem.one: AbstractProduction [ Id ] let foo[tree] _ 0 ; for ModuleItem.two: AbstractProduction [ Id.record, Id.type ] let foo[tree] _ 0 ; <> for Shares.absent: AbstractProduction [ ] let foo[tree] _ 0 ; for Shares.present: AbstractProduction [ IdList ] let foo[tree] _ 0 ; <> for Locks.absent: AbstractProduction [ ] let foo[tree] _ 0 ; for Locks.present: AbstractProduction [ Exp, Lambda ] let foo[tree] _ 0 ; <> for Lambda.absent: AbstractProduction [ ] let foo[tree] _ 0 ; for Lambda.present: AbstractProduction [ Ident, TypeExp ] let foo[tree] _ 0 ; End. <> <<>>