Changes

Summary

Enforce !current_level <= generic_level and explain create_scope (commit: 502fa59) (details)
assign PR (commit: d43c018) (details)

Commit 502fa59fc043534c86e889d24db5208b39edd999 by garrigue Enforce !current_level <= generic_level and explain create_scope (commit: 502fa59)
The file was modified	typing/ctype.ml (diff)
The file was modified	Changes (diff)
The file was modified	typing/ctype.mli (diff)
Commit d43c01899a3ab14b749ec2569ffbde5f01c0bd88 by garrigue assign PR (commit: d43c018)
The file was modified	Changes (diff)