package refl

  1. Overview
  2. Docs
type ('index, 'sequences, 'sequence, 'subsequences) t =
  1. | [] : (_, unit, unit, unit) t
type ('index, 'sequences, 'subsequences) some =
  1. | Some : ('index, 'sequences, 'sequence, 'subsequences) t -> ('index, 'sequences, 'subsequences) some