jon.recoil.org

Module Lang.ModuleSource

type decl =
  1. | Alias of Paths.Path.Module.t * ModuleType.simple_expansion option
  2. | ModuleType of ModuleType.expr
type t = {
  1. id : Paths.Identifier.Module.t;
  2. source_loc : Paths.Identifier.SourceLocation.t option;
    (*

    Identifier.SourceLocation might not be set when the module is artificially constructed from a functor argument.

    *)
  3. doc : Comment.docs;
  4. type_ : decl;
  5. canonical : Paths.Path.Module.t option;
  6. hidden : bool;
}
module Equation : sig ... end