def breaks_eq

near-v-framework@0.4.0.0 · domain/architecture/system/deployment/ops.bend:49

import near-v-framework@0.4.0.0/domain/architecture/system/deployment/ops.bend as Ops
import Base
import near-v-framework@0.4.0.0/domain/architecture/system/deployment/type.bend as D

49def breaks_eq(a: List<&2, D.Break>, b: List<&2, D.Break>) -> Bool:
50  match a:
51    case []:
52      List.is_empty(&2, D.Break, b)
53    case x <> xs:
54      match b:
55        case []:
56          False{}
57        case y <> ys:
58          break_eq(x, y) && breaks_eq(xs, ys)

Uses (6)

Used by (1)