HomeIsabelle/Phabricator

Refactor: Split the binary operations into separate clauses.

Description

Refactor: Split the binary operations into separate clauses.

Details

Provenance
dcjmAuthored on Mar 8 2021, 1:54 PM
Parents
rPOLYML7c048e8da1a5: Refactor: move unary, binary and tests into separate functions.
Branches
Unknown
Tags
Unknown