HomeIsabelle/Phabricator

Check arity of constructors in where type before trying to apply realisation.

Description

Check arity of constructors in where type before trying to apply realisation. Fixes #142.

Details

Provenance
dcjmAuthored on Thu, Apr 29, 1:59 PM
Parents
rPOLYML16458adbf40e: PolyML.pretty and PolyML.context are eqtypes based on their current…
Branches
Unknown
Tags
Unknown