package refl

  1. Overview
  2. Docs

Module Tools.ParameterizedVectorSource

Parameters

module T : BinaryTypeS

Signature

Sourcetype ('a, 'b, 'occurrence) item =
  1. | None : (_, _, [ `Absent ]) item
  2. | Some : ('a, 'b) T.t -> ('a, 'b, _) item
Sourcetype ('sequence, 'b, 'occurrences) t =
  1. | [] : (unit, _, unit) t
  2. | :: : ('head, 'b, 'occurrence) item * ('tail, 'b, 'occurrences) t -> ('head * 'tail, 'b, 'occurrence * 'occurrences) t
Sourcemodule Unary (U : TypeS) : sig ... end
OCaml

Innovation. Community. Security.