package refl
Legend:
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