def same

bend-lint-pack@0.1.1.0 · vendor/lint.bend:139

import Base

139# Whether two types are equal, as the checker compares them in the fact's
140# scope.
141def same(fact: Fact, a: Term, b: Term) -> IO(Bool):
142  import "./effects.js"