Skip to content
Snippets Groups Projects

Require that PredicateFormula's and ConnectorFormula's args correspond to the label's arity

Merged Require that PredicateFormula's and ConnectorFormula's args correspond to the label's arity
github/fork/cache-nez/require-arity into main
Merged Viktor Kuncak requested to merge github/fork/cache-nez/require-arity into main
Compare
and
Compare changes
  • Side-by-side
  • Inline
Files
2