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
val map_choice :
'a_arity 'b_arity 'rec_group 'a_cases 'b_cases 'structures 'positive 'negative 'direct 'gadt.
( 'a_arity,
'b_arity,
'rec_group,
[> `Exists of unit | `Poly of unit ] as 'a,
'kinds_b,
'positive,
'negative,
'direct,
'gadt )
map ->
( 'a_cases,
'structures,
'a_arity,
'rec_group,
'a,
'positive,
'negative,
'direct,
'gadt )
Refl__Desc.constructors ->
( 'b_cases,
'structures,
'b_arity,
'rec_group,
'kinds_b,
'positive,
'negative,
'direct,
'gadt )
Refl__Desc.constructors ->
'a_cases Refl__Desc.binary_choice ->
'b_cases Refl__Desc.binary_choice
type ('types, 'structure, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt)
kind =
| Tuple : ( 'types,
'structures,
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt )
Tuple.t -> ( 'types,
[ `Tuple of 'structures ],
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt )
kind |
| Record : ( 'types,
'structures,
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt )
Record.t -> ( 'types,
[ `Record of 'structures ],
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt )
kind |
type ('value, 'constructor, 'arity, 'positive, 'negative, 'direct, 'values, 'structure, 'subarity, 'subpositive, 'subnegative, 'subdirect, 'kinds)
link =
| Constructor : ( 'values * 'eqs,
[ `Constructor of 'structure * 'structure_eq ],
'arity,
'positive,
'negative,
'direct,
'values,
'structure,
'arity,
'positive,
'negative,
'direct,
'kinds )
link |
val destruct_choice :
'index 'types 'structure 'tail_cases 'tail_structures 'arity 'rec_group 'kinds 'positive 'negative 'direct 'gadt.
( 'cases,
'structures,
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt )
Refl__Desc.constructors ->
( 'index, 'cases, 'types, 'tail_cases ) Refl__Desc.binary_selection ->
( 'index, 'structures, 'structure, 'tail_structures )
Refl__Desc.binary_selection ->
( 'tail_cases,
'tail_structures,
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt )
Refl__Desc.constructors ->
'tail_cases Refl__Desc.binary_choice ->
( 'cases,
'structures,
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt )
destruct
val destruct :
( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i ) Refl__Desc.constructors ->
'j Refl__Desc.binary_choice ->
( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i ) destruct