-
Pacak, André authored
make final type checkers for record, variant and fo-recursive types more systematic (case, inferNormed, requiredNormed)
3fd1360b
make final type checkers for record, variant and fo-recursive types more systematic (case, inferNormed, requiredNormed)