jon.recoil.org

Module Paths.PathSource

Normal OCaml paths (i.e. the ones present in types)

Sourcetype ('lmod, 'lmodty, 'pty, 'a) genfn3 = {
  1. lmod : 'lmod -> 'a;
  2. lmodty : 'lmodty -> 'a;
  3. pty : 'pty -> 'a;
}
Sourcetype ('lmod, 'lmodty, 'pty, 'lty, 'lval, 'a) genfn5 = {
  1. g : ('lmod, 'lmodty, 'pty, 'a) Odoc_model.Paths.Path.genfn3;
  2. lty : 'lty -> 'a;
  3. lval : 'lval -> 'a;
}
Sourceval is_resolved_hidden_gen : weak_canonical_test:bool -> ('lmod, 'lmodty, 'pty, 'lty, 'lval, bool) Odoc_model.Paths.Path.genfn5 -> ('lmod, 'lmodty, 'pty, 'lty, 'lval) Odoc_model.Paths.Path.Resolved.t -> bool
Sourceval is_hidden_gen : ('lmod, 'lmodty, 'pty, 'lty, 'lval, bool) Odoc_model.Paths.Path.genfn5 -> ('lmod, 'lmodty, 'pty, 'lty, 'lval) Odoc_model.Paths.Path.gen -> bool
Sourcemodule Resolved : sig ... end
Sourcemodule Module : sig ... end
Sourcemodule ModuleType : sig ... end
Sourcemodule Type : sig ... end
Sourcemodule Value : sig ... end
Sourcemodule ClassType : sig ... end
Sourcetype ('lmod, 'lmodty, 'pty, 'lty, 'lval) gen = [
  1. | `Resolved of ('lmod, 'lmodty, 'pty, 'lty, 'lval) Odoc_model.Paths.Path.Resolved.t
  2. | `SubstitutedT of ('lmod, 'lmodty, 'pty, 'lty) Odoc_model.Paths.Path.Type.gen
  3. | `SubstitutedMT of ('lmod, 'lmodty, 'pty) Odoc_model.Paths.Path.ModuleType.gen
  4. | `Substituted of ('lmod, 'lmodty, 'pty) Odoc_model.Paths.Path.Module.gen
  5. | `SubstitutedCT of ('lmod, 'lmodty, 'pty, 'lty) Odoc_model.Paths.Path.ClassType.gen
  6. | `Identifier of Odoc_model.Paths.Identifier.Path.t * bool
  7. | `Root of Odoc_model.Names.ModuleName.t
  8. | `Forward of string
  9. | `Dot of ('lmod, 'lmodty, 'pty) Odoc_model.Paths.Path.Module.gen * Odoc_model.Names.ModuleName.t
  10. | `DotT of ('lmod, 'lmodty, 'pty) Odoc_model.Paths.Path.Module.gen * Odoc_model.Names.TypeName.t
  11. | `DotMT of ('lmod, 'lmodty, 'pty) Odoc_model.Paths.Path.Module.gen * Odoc_model.Names.ModuleTypeName.t
  12. | `DotV of ('lmod, 'lmodty, 'pty) Odoc_model.Paths.Path.Module.gen * Odoc_model.Names.ValueName.t
  13. | `Apply of ('lmod, 'lmodty, 'pty) Odoc_model.Paths.Path.Module.gen * ('lmod, 'lmodty, 'pty) Odoc_model.Paths.Path.Module.gen
  14. | `Type of 'pty * [ `Module of ('lmod, 'lmodty, 'pty) Odoc_model.Paths.Path.Resolved.Module.t | `ModuleType of ('lmod, 'lmodty, 'pty) Odoc_model.Paths.Path.Resolved.ModuleType.t * 'pty | `FragmentRoot of 'pty ] * Odoc_model.Names.TypeName.t
  15. | `ModuleType of 'pty * [ `Module of ('lmod, 'lmodty, 'pty) Odoc_model.Paths.Path.Resolved.Module.t | `ModuleType of ('lmod, 'lmodty, 'pty) Odoc_model.Paths.Path.Resolved.ModuleType.t * 'pty | `FragmentRoot of 'pty ] * Odoc_model.Names.ModuleTypeName.t
  16. | `Module of 'pty * [ `Module of ('lmod, 'lmodty, 'pty) Odoc_model.Paths.Path.Resolved.Module.t | `ModuleType of ('lmod, 'lmodty, 'pty) Odoc_model.Paths.Path.Resolved.ModuleType.t * 'pty | `FragmentRoot of 'pty ] * Odoc_model.Names.ModuleName.t
  17. | `LocalMod of 'lmod
  18. | `LocalModTy of 'lmodty
  19. | `LocalVal of 'lval
  20. | `LocalTy of 'lty
]
Sourceval is_hidden : Odoc_model.Paths.Path.t -> bool