package refl

  1. Overview
  2. Docs
package refl
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module RecordMap.ToolsSource

Sourcetype (!'types, !'arity_a, !'arity_b, !'subpositive, !'subnegative) make_variables = ('types, 'arity_a, 'arity_b, 'subpositive, 'subnegative) MapperTools(M).make_variables =
  1. | MakeVariables : {
    1. subarity_a : ('types0, 'arity_a0, 'subarity_a) Refl__.Desc.append;
    2. subarity_b : ('types0, 'arity_b0, 'subarity_b) Refl__.Desc.append;
    3. mapper : ('subarity_a, 'subarity_b, 'subpositive0, 'subnegative0) M.t;
    } -> ('types0, 'arity_a0, 'arity_b0, 'subpositive0, 'subnegative0) make_variables
Sourceval 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
Sourceval 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