<> <> <> <> <> <<>> DIRECTORY BoolOps USING [TTToStream, StreamToTT, BerkeleyTTToStream, BerkeleyStreamToTT], Commander USING [CommandProc, Register]; BerkeleyConvert: CEDAR PROGRAM IMPORTS Commander, BoolOps = BEGIN XeroxToBerkeley: Commander.CommandProc = BEGIN BoolOps.BerkeleyTTToStream[BoolOps.StreamToTT[cmd.in], cmd.out]; END; BerkeleyToXerox: Commander.CommandProc = BEGIN BoolOps.TTToStream[BoolOps.BerkeleyStreamToTT[cmd.in], cmd.out]; END; Commander.Register[key: "XeroxToBerkeley", proc: XeroxToBerkeley, doc: "Convert truth table formats"]; Commander.Register[key: "BerkeleyToXerox", proc: BerkeleyToXerox, doc: "Convert truth table formats"]; END.