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_variablesval 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_variablesval 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