Module `Odoc_xref2.Cpath`Source

Sourcetype lmod = [

| Odoc_xref2.Ident.module_
| Odoc_model.Paths.na

]

Sourcetype lmodty = [

| Odoc_xref2.Ident.module_type
| Odoc_model.Paths.na

]

Sourcetype lty = [

| Odoc_xref2.Ident.type_
| Odoc_model.Paths.na

]

Sourcetype lval = [

| Odoc_xref2.Ident.value
| Odoc_model.Paths.na

]

Sourcetype pty = [

| `U
| Odoc_model.Paths.na

]

Sourcemodule Resolved : sig ... end

Sourcemodule Cpath : sig ... end

include module type of struct include Odoc_xref2.Cpath.Cpath end

type module_ =
  (Odoc_xref2.Cpath.lmod, Odoc_xref2.Cpath.lmodty, Odoc_xref2.Cpath.pty)
    Odoc_model.Paths.Path.Module.gen

type module_type =
  (Odoc_xref2.Cpath.lmod, Odoc_xref2.Cpath.lmodty, Odoc_xref2.Cpath.pty)
    Odoc_model.Paths.Path.ModuleType.gen

type type_ =
  (Odoc_xref2.Cpath.lmod,
    Odoc_xref2.Cpath.lmodty,
    Odoc_xref2.Cpath.pty,
    Odoc_xref2.Cpath.lty)
    Odoc_model.Paths.Path.Type.gen

type class_type =
  (Odoc_xref2.Cpath.lmod,
    Odoc_xref2.Cpath.lmodty,
    Odoc_xref2.Cpath.pty,
    Odoc_xref2.Cpath.lty)
    Odoc_model.Paths.Path.ClassType.gen

type value =
  (Odoc_xref2.Cpath.lmod,
    Odoc_xref2.Cpath.lmodty,
    Odoc_xref2.Cpath.pty,
    Odoc_xref2.Cpath.lval)
    Odoc_model.Paths.Path.Value.gen

type any =
  (Odoc_xref2.Cpath.lmod,
    Odoc_xref2.Cpath.lmodty,
    Odoc_xref2.Cpath.pty,
    Odoc_xref2.Cpath.lty,
    Odoc_xref2.Cpath.lval)
    Odoc_model.Paths.Path.gen

Source

val hidden_fns : 
  (Odoc_xref2.Cpath.lmod,
    Odoc_xref2.Cpath.lmodty,
    Odoc_xref2.Cpath.pty,
    Odoc_xref2.Cpath.lty,
    Odoc_xref2.Cpath.lval,
    bool)
    Odoc_model.Paths.Path.genfn5

Sourceval is_hidden : Odoc_xref2.Cpath.any -> bool

Source

val is_resolved_hidden : 
  weak_canonical_test:bool ->
  Odoc_xref2.Cpath.Resolved.any ->
  bool

Sourceval is_resolved_module_substituted : Odoc_xref2.Cpath.Resolved.module_ -> bool

Source

val is_resolved_parent_substituted : 
  [ `Module of
      (Odoc_xref2.Cpath.lmod, Odoc_xref2.Cpath.lmodty, Odoc_xref2.Cpath.pty)
        Odoc_model.Paths.Path.Resolved.Module.t
  | `ModuleType of
    (Odoc_xref2.Cpath.lmod, Odoc_xref2.Cpath.lmodty, Odoc_xref2.Cpath.pty)
      Odoc_model.Paths.Path.Resolved.ModuleType.t
    * Odoc_xref2.Cpath.pty
  | `FragmentRoot of Odoc_xref2.Cpath.pty ] ->
  bool

Source

val is_resolved_module_type_substituted : 
  Odoc_xref2.Cpath.Resolved.module_type ->
  bool

Sourceval is_resolved_type_substituted : Odoc_xref2.Cpath.Resolved.type_ -> bool

Source

val is_resolved_class_type_substituted : 
  Odoc_xref2.Cpath.Resolved.class_type ->
  bool

Sourceval is_module_substituted : Odoc_xref2.Cpath.module_ -> bool

Sourceval is_module_type_substituted : Odoc_xref2.Cpath.module_type -> bool

Sourceval is_type_substituted : Odoc_xref2.Cpath.type_ -> bool

Sourceval is_class_type_substituted : Odoc_xref2.Cpath.class_type -> bool

Sourceval is_module_forward : Odoc_xref2.Cpath.module_ -> bool

Source

val resolved_module_of_resolved_module_reference : 
  Odoc_model.Paths.Reference.Resolved.Module.t ->
  Odoc_xref2.Cpath.Resolved.module_

Source

val resolved_module_of_resolved_signature_reference : 
  Odoc_model.Paths.Reference.Resolved.Signature.t ->
  Odoc_xref2.Cpath.Resolved.module_

Source

val module_of_module_reference : 
  Odoc_model.Paths.Reference.Module.t ->
  Odoc_xref2.Cpath.module_

Source

val unresolve_resolved_module_path : 
  Odoc_xref2.Cpath.Resolved.module_ ->
  Odoc_xref2.Cpath.module_

Source

val unresolve_module_path : 
  Odoc_xref2.Cpath.module_ ->
  Odoc_xref2.Cpath.module_

Source

val unresolve_resolved_module_type_path : 
  Odoc_xref2.Cpath.Resolved.module_type ->
  Odoc_xref2.Cpath.module_type

Source

val unresolve_resolved_parent_path : 
  Odoc_xref2.Cpath.Resolved.parent ->
  Odoc_xref2.Cpath.module_

Source

val unresolve_resolved_type_path : 
  Odoc_xref2.Cpath.Resolved.type_ ->
  Odoc_xref2.Cpath.type_

Source

val unresolve_resolved_class_type_path : 
  Odoc_xref2.Cpath.Resolved.class_type ->
  Odoc_xref2.Cpath.class_type

Source

val unresolve_module_type_path : 
  Odoc_xref2.Cpath.module_type ->
  Odoc_xref2.Cpath.module_type

Sourceval unresolve_type_path : Odoc_xref2.Cpath.type_ -> Odoc_xref2.Cpath.type_

Source

val unresolve_class_type_path : 
  Odoc_xref2.Cpath.class_type ->
  Odoc_xref2.Cpath.class_type

Module Odoc_xref2.CpathSource

Module `Odoc_xref2.Cpath`Source