def is_identity

stelliferous@0.0.2.0 · math_activation.bend:101

import Base

101# The identity needs no pass at all.
102def is_identity(activation: Activation) -> Bool:
103  match activation:
104    case Identity{}: True{}
105    case activation: False{}