version 1 . # Definitions for the internal workings of the Hayes modem driver. # Assertion. Declares presence of a Hayes modem. ModemPresent = . # TODO not yet properly specified InternalProtocol = any . # Message. Sent when the modem sends us a "URC", an Unsolicited Result Code. UnsolicitedResultCode = . # Assertion. Asks the modem to execute the given command. CommandRPC = . # Message. Asks the modem to execute the given command, but not to send back the reply. CommandEvent = . # Assertion. Describes the result of a command execution. CommandResult = . @> > > > > ]> Result = . MaybeString = @present string / @absent #f . MaybeStrings = @present [string ...] / @absent #f .