Module DocOckPaths.Fragment

OCaml path fragments for specifying module substitutions

module Resolved : sig ... end
type kind = Kind.fragment
type sort = [
| `Root
| `Branch
]
type ('a, 'b, 'c) raw =
| Resolved : ('a'b'cResolved.raw ‑> ('a'b'craw
| Dot : 'a signature * string ‑> ('a, [< kind ], [< sort Branch ]) raw
type ('a, 'b) t = ('a'b, [ `Branch ]) raw
type 'a any = ('akindt
type 'a signature = ('aKind.fragment_module, [ `Root | `Branch ]) raw
type 'a module_ = ('aKind.fragment_modulet
type 'a type_ = ('aKind.fragment_typet

Explicit coercions

val signature_of_module : 'a module_ ‑> 'a signature
val any_sort : ('a'b'craw ‑> ('a'bsortraw
val any : ('a'bt ‑> 'a any

Attaching fragments to valid paths

val path : 'a Path.module_ ‑> ('a'bt ‑> ('a'bPath.t

Generic operations

val equal : equal:('a ‑> 'a ‑> bool) ‑> ('a'bt ‑> ('a'bt ‑> bool
val hash : hash:('a ‑> int) ‑> ('a'bt ‑> int
val sexp_of_t : ('a ‑> sexp) ‑> ('a__raw ‑> sexp
val split : ('a'bt ‑> string * ('a'bt option