mirror of
https://github.com/AdaCore/langkit.git
synced 2026-02-12 12:28:12 -08:00
fca3617078
Replace `%eq(a, b)` with:
* `a <-> b`: unify two logic variables
* `a <- b`: assign a value to a logic variable
Replace `%eq(a, b, conv_prop=N.p)` with:
* `a <- N.p%(...)`: assign a value to a logic variable after a
conversion/combination using a property from 1) one or multiple logic
variables or 2) an entity:
Replace `%predicate(N.p, ...)` with:
* `N.p%(...)`: create a predicate atom from a property, several logic
variables and optional extra arguments.
(cherry picked from commit 928e4358fc)