package refl

  1. Overview
  2. Docs
val map_eqs : 'a_eqs 'structure_eqs 'b_eqs 'kinds_a 'kinds_b. ('a_eqs, 'structure_eqs, 'kinds_a, 'gadt) Refl__.Desc.constructor_eqs -> ('b_eqs, 'structure_eqs, 'kinds_b, 'gadt) Refl__.Desc.constructor_eqs -> 'a_eqs -> 'b_eqs
val map_choice : 'a_arity 'b_arity 'rec_group 'a_cases 'b_cases 'structures 'positive 'negative 'direct 'gadt. ('a_arity, 'b_arity, 'rec_group, [> `Exists of unit | `Poly of unit ] as 'a, 'kinds_b, 'positive, 'negative, 'direct, 'gadt) map -> ('a_cases, 'structures, 'a_arity, 'rec_group, 'a, 'positive, 'negative, 'direct, 'gadt) Refl__.Desc.constructors -> ('b_cases, 'structures, 'b_arity, 'rec_group, 'kinds_b, 'positive, 'negative, 'direct, 'gadt) Refl__.Desc.constructors -> 'a_cases Refl__.Desc.binary_choice -> 'b_cases Refl__.Desc.binary_choice
module Map (M : Mapper) : sig ... end
type ('types, 'structure, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt) kind =
  1. | Tuple : ('types, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt) Tuple.t -> ('types, [ `Tuple of 'structures ], 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt) kind
  2. | Record : ('types, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt) Record.t -> ('types, [ `Record of 'structures ], 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt) kind
type ('cases, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt) destruct
val destruct_choice : 'index 'types 'structure 'tail_cases 'tail_structures 'arity 'rec_group 'kinds 'positive 'negative 'direct 'gadt. ('cases, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt) Refl__.Desc.constructors -> ('index, 'cases, 'types, 'tail_cases) Refl__.Desc.binary_selection -> ('index, 'structures, 'structure, 'tail_structures) Refl__.Desc.binary_selection -> ('tail_cases, 'tail_structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt) Refl__.Desc.constructors -> 'tail_cases Refl__.Desc.binary_choice -> ('cases, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt) destruct
val destruct : ('a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i) Refl__.Desc.constructors -> 'j Refl__.Desc.binary_choice -> ('a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i) destruct