Rename function to match the name of the type.
Export polymorphic arities.
Export polymorphic constant arities.
Export inductive arities.
Remove empty line.
Correct the name of the let in and the cast constructs.
Export module types, functors, and applications.
Make not_supported use the common error function.
Remove the unkown module error because it is not used anymore.
Remove the assertion about inline because it is not true. For now just ignore inline.
Use conversion instead of equality because the user arity does not need to be in weak normal form.
Use the standard not_supported function.