dhall-1.26.0: tests/diff/functionA.dhall

∀(a : Type) → ∀(b : Type) → ∀(x : a) → Bool