refl
PPX deriver for reflection
1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Tuple : sig ... end
include module type of struct include Tuple end
type ('types, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt)
structure =
( 'types,
'structures,
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt )
Tuple.structure =
| [] : ( unit,
unit,
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt )
structure |
val of_desc :
'types 'structures. ( 'types,
'structures,
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt )
Refl__Desc.tuple_structure ->
( 'types,
'structures,
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt )
structure
type ('types, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt)
t =
( 'types,
'structures,
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt )
Tuple.t =
{
structure : ( 'types,
'structures,
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt )
structure; |
values : 'types; |
}
module Item : sig ... end
val map :
'a_types 'b_types 'structures 'gadt. ( 'a_arity,
'b_arity,
'rec_group,
'kinds_a,
'kinds_b,
'positive,
'negative,
'direct,
'gadt )
map ->
( 'a_types,
'structures,
'a_arity,
'rec_group,
'kinds_a,
'positive,
'negative,
'direct,
'gadt )
Refl__Desc.tuple_structure ->
( 'b_types,
'structures,
'b_arity,
'rec_group,
'kinds_b,
'positive,
'negative,
'direct,
'gadt )
Refl__Desc.tuple_structure ->
'a_types ->
'b_types
module Items : sig ... end
module Tuples : sig ... end
type ('index, 'structure, 'structures, 'arities, 'tuples, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts)
structure_find =
| Structure_find : {
} -> ( 'index,
'structure,
'structures,
'arities,
'tuples,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadts )
structure_find |