= 1024" x-on:close-sidebar="sidebar=window.innerWidth >= 1024 && true">
package refl
-
refl
-
-
refl.ppx
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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 ->
('c, 'd, 'e, 'f, 'g, 'h, 'i, 'j, 'k, 'l, 'm) Refl__.Desc.subvariables ->
('n, 'o, 'p, 'q) M.t ->
('b, 'n, 'o, 'r, 's) make_variables