def same

bend-lint-api@0.2.0.0 · linter/lint.bend:1212

import bend-lint-api@0.2.0.0/linter/lint.bend as Lint
import Base

1212def same(a: TypeRef, b: TypeRef) -> Ask(Bool):
1213  Ask.bind(
1214    List<&2, Answer>,
1215    Bool,
1216    ask([Same{a, b}]),
1217    answers => Ask.pure(Bool, Answer.same(answers))
1218  )

Uses (10)

Used by (0)

No other definition uses this definition.