refl

PPX deriver for reflection
IN THIS PACKAGE
Module Refl . Tools . Constructor . Map

Parameters

module M : Mapper

Signature

module Tools : sig ... end
module RecordMap : sig ... end
val map_kind : 'structure 'kinds. ( 'a_arity, 'b_arity, 'subpositive, 'subnegative ) M.t -> ( 'types_a, 'structure, 'a_arity, M.rec_group, 'kinds, 'subpositive, 'subnegative, 'subdirect, M.gadt ) Refl__Desc.constructor_kind -> ( 'types_b, 'structure, 'b_arity, M.rec_group, 'kinds, 'subpositive, 'subnegative, 'subdirect, M.gadt ) Refl__Desc.constructor_kind -> 'types_a -> 'types_b
val map_choice : 'a_cases 'b_cases 'structures 'kinds. ( 'a_cases, 'structures, M.a_arity, M.rec_group, 'kinds, M.positive, M.negative, 'direct, M.gadt ) Refl__Desc.constructors -> ( 'b_cases, 'structures, M.b_arity, M.rec_group, 'kinds, M.positive, M.negative, 'direct, M.gadt ) Refl__Desc.constructors -> 'a_cases Refl__Desc.binary_choice -> 'b_cases Refl__Desc.binary_choice