refl

PPX deriver for reflection
IN THIS PACKAGE
Module Refl . Tools . MapperTools

Parameters

module M : Mapper

Signature

type ('types, 'arity_a, 'arity_b, 'subpositive, 'subnegative) make_variables
val make_variables_aux : 'count 'types 'arity_a 'arity_b 'positive 'negative 'positives 'negatives 'subpositive 'subnegative. ( '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