odoc.examples
Expansion.DeepEquality
Demonstrates expansion involving an equation on a type in a submodule
odoc
odoc.document
odoc.html
odoc.html_support_files
odoc.index
odoc.json_index
odoc.latex
odoc.loader
odoc.manpage
odoc.model
odoc.model_desc
odoc.ocamlary
odoc.occurrences
odoc.odoc
odoc.odoc_utils
odoc.search
odoc.search_html_frontend
odoc.syntax_highlighter
odoc.xref2
odoc.xref_test
module type SIG = sig ... end
module type MODTYPE = sig ... end
type foo
module M : MODTYPE with type X.t = foo