Skip to content

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

Viktor Kuncak requested to merge github/fork/cache-nez/require-arity into main

Created by: cache-nez

Analogous to the existing requirement in FunctionTerm.

Merge request reports