def permitted_read

bendvy-ecs-core@0.1.0.3 · execution_declaration.bend:58

import Base

58def permitted_read(permission:Permission) -> Bool:
59  match permission:
60    case ReadOnly{}:True{}
61    case Writable{}:False{}