package refl

  1. Overview
  2. Docs

Parameters

module T : BinaryTypeS

Signature

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