refl 0.4.0 · OCaml Package

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 =

| 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
| 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 ('value, 'constructor, 'arity, 'positive, 'negative, 'direct, 'values, 'structure, 'subarity, 'subpositive, 'subnegative, 'subdirect, 'kinds)
  link =

| Constructor : ('values * 'eqs, [ `Constructor of 'structure * 'structure_eq ], 'arity, 'positive, 'negative, 'direct, 'values, 'structure, 'arity, 'positive, 'negative, 'direct, 'kinds) link

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 ->
  'a Refl__.Desc.binary_choice ->
  ('a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i) destruct

package refl