Module `Identifier.Path`Source

Source

module Module : 
  Odoc_model.Paths.Identifier.IdSig
    with type t = Odoc_model.Paths.Identifier.Path.Module.t
     and type t_pv = Odoc_model.Paths.Identifier.Path.Module.t_pv

Source

module ModuleType : 
  Odoc_model.Paths.Identifier.IdSig
    with type t = Odoc_model.Paths.Identifier.Path.ModuleType.t
     and type t_pv = Odoc_model.Paths.Identifier.ModuleType.t_pv

Source

module Type : 
  Odoc_model.Paths.Identifier.IdSig
    with type t = Odoc_model.Paths.Identifier.Path.Type.t
     and type t_pv = Odoc_model.Paths.Identifier.Path.Type.t_pv

Source

module Value : 
  Odoc_model.Paths.Identifier.IdSig
    with type t = Odoc_model.Paths.Identifier.Id.path_value
     and type t_pv = Odoc_model.Paths.Identifier.Value.t_pv

Source

module ClassType : 
  Odoc_model.Paths.Identifier.IdSig
    with type t = Odoc_model.Paths.Identifier.Path.ClassType.t
     and type t_pv = Odoc_model.Paths.Identifier.Path.ClassType.t_pv

Source

type t =
  [ Odoc_model.Paths.Identifier.Path.Module.t_pv
  | Odoc_model.Paths.Identifier.ModuleType.t_pv
  | Odoc_model.Paths.Identifier.Path.Type.t_pv
  | Odoc_model.Paths.Identifier.Path.ClassType.t_pv
  | Odoc_model.Paths.Identifier.Value.t_pv ]
    Odoc_model.Paths.Identifier.id

Module Identifier.PathSource

Module `Identifier.Path`Source