def one

ezmcp@0.1.0.0 · src/rpc.bend:140

import Base

140# whether exactly one of two is true
141def one(lead: Bool, byte: Bool) -> Bool:
142  match lead byte:
143    case True{} False{}:
144      True{}
145    case False{} True{}:
146      True{}
147    case x y:
148      False{}