package refl

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Package contains no libraries

Parameters

module M : Mapper

Signature

module Tools : sig ... end

module RecordMap : sig ... end

val map_kind : 
  'structure 'kinds. ('a_arity, 'b_arity, 'subpositive, 'subnegative) M.t ->
  ('types_a,
    'structure,
    'a_arity,
    M.rec_group,
    'kinds,
    'subpositive,
    'subnegative,
    'subdirect,
    M.gadt)
    Refl__.Desc.constructor_kind ->
  ('types_b,
    'structure,
    'b_arity,
    M.rec_group,
    'kinds,
    'subpositive,
    'subnegative,
    'subdirect,
    M.gadt)
    Refl__.Desc.constructor_kind ->
  'types_a ->
  'types_b

val map_choice : 
  'a_cases 'b_cases 'structures 'kinds. ('a_cases,
                                          'structures,
                                          M.a_arity,
                                          M.rec_group,
                                          'kinds,
                                          M.positive,
                                          M.negative,
                                          'direct,
                                          M.gadt)
                                          Refl__.Desc.constructors ->
  ('b_cases,
    'structures,
    M.b_arity,
    M.rec_group,
    'kinds,
    M.positive,
    M.negative,
    'direct,
    M.gadt)
    Refl__.Desc.constructors ->
  'a_cases Refl__.Desc.binary_choice ->
  'b_cases Refl__.Desc.binary_choice