package odoc

Demonstrates simple expansion with a type equality

Demonstrates expansion when a module is an alias to a hidden module.

Demonstrates that module types are not expanded if they're a simple path to another.

Demonstrates that module types 'aliases' are produced by strengthening

Demonstrates the expansion of functors

Demonstrates handling of include statements

Demonstrates shadowing of identifiers in includes

Demonstrates expansion involving an equation on a type in a submodule

Demonstrates expansion involving an equation on a type in a submodule, but the submodule is already a simple signature

Demonstrates expansion involving deep destructive type substitution.

Demonstrates expanding after recovering the type of a module

Demonstrates the interaction of module type of and destructive module substitution