refl
PPX deriver for reflection
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Parameters
Signature
module Tools : sig ... endval map_poly :
( 'arity_a, 'arity_b, 'positive, 'negative ) M.t ->
( 'count,
[ `Absent ],
'positive,
'negative,
'direct,
'positives,
'negatives,
'directs,
'subpositive,
'subnegative,
'subdirect )
Refl__Desc.subvariables ->
( 'a,
'structure,
'arity_a,
M.rec_group,
'kinds,
'subpositive,
'subnegative,
'subdirect,
M.gadt,
'count )
Refl__Desc.forall_destruct ->
( ( 'b,
'structure,
'arity_b,
M.rec_group,
'kinds,
'subpositive,
'subnegative,
'subdirect,
M.gadt,
'count )
Refl__Desc.forall_construct ->
'b ) ->
'a ->
'bval map_with :
'types_a 'types_b 'arity_a 'arity_b 'structure 'kinds. ( 'arity_a,
'arity_b,
'positive,
'negative )
M.t ->
( 'types_a,
'structure,
'arity_a,
M.rec_group,
'kinds,
'positive,
'negative,
'direct,
M.gadt )
Refl__Desc.record_structure ->
( 'types_b,
'structure,
'arity_b,
M.rec_group,
'kinds,
'positive,
'negative,
'direct,
M.gadt )
Refl__Desc.record_structure ->
'types_a ->
'types_bval map :
( 'a, 'b, M.a_arity, M.rec_group, 'c, M.positive, M.negative, 'd, M.gadt )
Refl__Desc.record_structure ->
( 'e, 'b, M.b_arity, M.rec_group, 'c, M.positive, M.negative, 'd, M.gadt )
Refl__Desc.record_structure ->
'f ->
'g