| number of errors : 2 | |
| ------------error list------------------------------------------- | |
| rcase-Recurse.2: There is not a complete functional mapping between the particles. [35, 43] | |
| derivation-ok-restriction.5.4.2: Error for type 'RestrictedFoo'. The particle of the type is not a valid restriction of the particle of the base. [35, 43] | |
| ----------------------------------------------------------------- |