package refl

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Tools : sig ... end

val map_poly : 
  ('arity_a, 'arity_b, 'positive, 'negative) M.t ->
  ('count,
    [ `Absent ],
    'positive,
    'negative,
    'direct,
    'positives,
    'negatives,
    'directs,
    'subpositive,
    'subnegative,
    'subdirect)
    Refl__.Desc.subvariables ->
  ('a,
    'structure,
    'arity_a,
    M.rec_group,
    'kinds,
    'subpositive,
    'subnegative,
    'subdirect,
    M.gadt,
    'count)
    Refl__.Desc.forall_destruct ->
  (('b,
     'structure,
     'arity_b,
     M.rec_group,
     'kinds,
     'subpositive,
     'subnegative,
     'subdirect,
     M.gadt,
     'count)
     Refl__.Desc.forall_construct ->
    'b) ->
  'a ->
  'b

val map_with : 
  ('arity_a, 'arity_b, 'positive, 'negative) M.t ->
  ('types_a,
    'structure,
    'arity_a,
    M.rec_group,
    'kinds,
    'positive,
    'negative,
    'direct,
    M.gadt)
    Refl__.Desc.record_structure ->
  ('types_b,
    'structure,
    'arity_b,
    M.rec_group,
    'kinds,
    'positive,
    'negative,
    'direct,
    M.gadt)
    Refl__.Desc.record_structure ->
  'types_a ->
  'types_b

val map : 
  ('a, 'b, M.a_arity, M.rec_group, 'c, M.positive, M.negative, 'd, M.gadt)
    Refl__.Desc.record_structure ->
  ('e, 'b, M.b_arity, M.rec_group, 'c, M.positive, M.negative, 'd, M.gadt)
    Refl__.Desc.record_structure ->
  'a ->
  'e