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 T : sig ... end
val make :
( 'arity, 'rec_group, 'kinds ) make ->
( 'types, 'structures, 'arity, 'rec_group, 'kinds, 'arguments, 'gadt )
Refl__Desc.vector ->
( 'positive,
'negative,
'direct,
'subpositive,
'subnegative,
'subdirect,
'arguments )
Refl__Desc.transfer_skip ->
( 'arity, 'direct ) t ->
( 'types, 'subdirect ) t
val append :
'presence any ->
( 'presence, 'directs ) Refl__Desc.presences ->
( 'count, 'directs ) Refl__Desc.length ->
( 'directs, 'direct, 'subdirect ) Refl__Desc.append ->
( 'count, 'types ) Refl__Desc.length ->
( 'types, 'arity, 'subarity ) Refl__Desc.append ->
( 'arity, 'direct ) t ->
( 'subarity, 'subdirect ) t