def no_variant

bend-schema-lib@0.4.1.0 · core.bend:1130

import bend-schema-lib@0.4.1.0/core.bend as Core
import Base

1130def no_variant(p: List<&2, Step>) -> Maybe<&2, Why>:
1131  match p:
1132    case Nil{}:
1133      Some{NoVariant{}}
1134    case st <> q:
1135      None{}

Uses (4)

Used by (1)