mirror of
https://github.com/AdaCore/langkit.git
synced 2026-02-12 12:28:12 -08:00
928e4358fc
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.