def is_server

near-architecture@0.9.1.0 · arc.bend:196

import Base

196# ---- predicates on the vocabulary ----
197def is_server(r: NodeRole) -> Bool:
198  match r:
199    case Server{}:
200      True{}
201    case _:
202      False{}