HomePhabricator

clarified types (again): 'a is canonical for 'class' (as alternative to…

Authored by makarius.

Description

clarified types (again): 'a is canonical for 'class' (as alternative to 'locale'), 'b is common for Hindley-Milner examples;

Details

Committed
makariusOct 22 2019, 11:14 AM
Parents
rISABELLE1e0ad25c94c8: export constdefs according to defs.ML;
Branches
Unknown
Tags
Unknown