Types module

Difference between Mty_ident and Mty_alias

Mty_ident path means "this module has type path", while Mty_alias (_, path) means "this module is an alias for module path". In the latter case, path refers to a module, while in the former it refers to a module type.