package refl

  1. Overview
  2. Docs

Module Tools.SectionSource

Sourcetype ('index, 'sequences, 'sequence, 'subsequences) t =
  1. | [] : (_, unit, unit, unit) t
  2. | :: : ('index, 'head, 'item, 'first) Refl__.Desc.selection * ('index, 'tail, 'items, 'others) t -> ('index, 'head * 'tail, 'item * 'items, 'first * 'others) t
Sourcetype ('index, 'sequences, 'subsequences) some =
  1. | Some : ('index, 'sequences, 'sequence, 'subsequences) t -> ('index, 'sequences, 'subsequences) some
OCaml

Innovation. Community. Security.