DIRECTORY Dragon, DragOpsCross, Rope; DragonRosemary: CEDAR DEFINITIONS = BEGIN OpName: PUBLIC READONLY ARRAY Dragon.Opcode OF Rope.ROPE; OpLength: PROC [ op: Dragon.Opcode ] RETURNS [ length: [0..5] ]; Assert: PROC [ condition: BOOL, message: Rope.ROPE _ NIL ]; AssertionFailed: SIGNAL [ message: Rope.ROPE ]; Count: PROC [ a, b, c, d, e, f, g, h, i, j: BOOL _ FALSE ] RETURNS [ NAT ]; OneOf: PROC [ a, b, c, d, e, f, g, h, i, j: BOOL _ FALSE ] RETURNS [ BOOL ]; MoreThanOneOf: PROC [ a, b, c, d, e, f, g, h, i, j: BOOL _ FALSE ] RETURNS [ BOOL ]; END. цDragonRosemary.mesa Copyright c 1986 by Xerox Corporation. All rights reserved. Modified for Core and Rosemary5 Auxiliary functions for Dragon Rosemary simulations last edited by E. McCreight, March 10, 1986 6:21:15 pm PST Э╩;ШЪ╨blЩJЪЬ ╧mЬ1Щ