= 1024" x-on:close-sidebar="sidebar=window.innerWidth >= 1024 && true">
ON THIS PAGE
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Parameters
module T : BinaryTypeS
Signature
type ('a, 'b, 'positive, 'negative) symmetric_item =
| SNone : ('a, 'b, [ `Absent ], [ `Absent ]) symmetric_item
| SPN : (('a, 'b) T.t * ('b, 'a) T.t) -> ('a, 'b, _, _) symmetric_item
type ('a, 'b, 'positive, 'negative) symmetric =
| [] : (unit, unit, unit, unit) symmetric
| :: : ('a, 'b, 'positive, 'negative) symmetric_item * ('aa, 'bb, 'positive_tail, 'negative_tail) symmetric -> ('a * 'aa, 'b * 'bb, 'positive * 'positive_tail, 'negative * 'negative_tail) symmetric
type ('a, 'b, 'sp, 'sn, 'ap, 'an) make_transfer =
| TNone : ('a, 'b, [ `Absent ], [ `Absent ], 'ap, 'an) make_transfer
| TP : ('a, 'b, 'ap, 'an) t -> ('a, 'b, _, [ `Absent ], 'ap, 'an) make_transfer
| TN : ('a, 'b, 'an, 'ap) t -> ('a, 'b, [ `Absent ], _, 'ap, 'an) make_transfer
| TPN : ('a, 'b, 'an, 'ap) symmetric -> ('a, 'b, _, _, 'an, 'ap) make_transfer
val make_transfer :
'p 'n 'sp 'sn 'ap 'an 'a 'b. ('p, 'n, 'sp, 'sn, 'ap, 'an)
Refl__.Desc.transfer_matrix ->
('a, 'b, 'p, 'n) t ->
('a, 'b, 'sp, 'sn, 'ap, 'an) make_transfer
type ('rec_group, 'a_kinds, 'b_kinds) make = {
f : 'a 'b 'structure 'a_arity 'b_arity 'ap 'an 'ad 'gadt. ('a, 'structure, 'a_arity, 'rec_group, 'a_kinds, 'ap, 'an, 'ad, 'gadt) Refl__.Desc.desc -> ('b, 'structure, 'b_arity, 'rec_group, 'b_kinds, 'ap, 'an, 'ad, 'gadt) Refl__.Desc.desc -> ('a_arity, 'b_arity, 'ap, 'an) t -> ('a, 'b) T.t;
}
val make_transfer_vector :
'a_types 'b_types 'structures 'arguments 'subpositive 'subnegative 'subdirect 'a_arity 'b_arity 'rec_group 'gadt.
('rec_group, 'a_kinds, 'a_kinds0) make ->
('a_types, 'structures, 'a_arity, 'rec_group, 'a_kinds, 'arguments, 'gadt)
Refl__.Desc.vector ->
('b_types, 'structures, 'b_arity, 'rec_group, 'a_kinds0, 'arguments, 'gadt)
Refl__.Desc.vector ->
('positive,
'negative,
'direct,
'subpositive,
'subnegative,
'subdirect,
'arguments)
Refl__.Desc.transfer ->
('a_arity, 'b_arity, 'positive, 'negative) t ->
('a_types, 'b_types, 'subpositive, 'subnegative) t