package refl

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type (!'types, !'arity_a, !'arity_b, !'subpositive, !'subnegative)
  make_variables =
  ('types, 'arity_a, 'arity_b, 'subpositive, 'subnegative)
    MapperTools(M).make_variables

val make_variables_aux : 
  ('count, 'types) Refl__.Desc.length ->
  ('count, 'positives) Refl__.Desc.length ->
  ('positives, 'positive, 'subpositive) Refl__.Desc.append ->
  ('count, 'negatives) Refl__.Desc.length ->
  ('negatives, 'negative, 'subnegative) Refl__.Desc.append ->
  ('arity_a, 'arity_b, 'positive, 'negative) M.t ->
  ('types, 'arity_a, 'arity_b, 'subpositive, 'subnegative) make_variables

val make_variables : 
  ('a, 'b) Refl__.Desc.length ->
  ('a, 'c, 'd, 'e, 'f, 'g, 'h, 'i, 'j, 'k, 'l) Refl__.Desc.subvariables ->
  ('m, 'n, 'd, 'e) M.t ->
  ('b, 'm, 'n, 'j, 'k) make_variables