def mismatch

stelliferous@0.0.2.0 · tensor.bend:110

import Base

110def mismatch(same: Bool,left: List<&2,U32>,right: List<&2,U32>) -> Reason:
111  match same:
112    case True{}: InvalidShape{left}
113    case False{}: ShapeMismatch{left,right}