type (!'a, !'occurrence) item =
('a, 'occurrence) Refl__Tools.Vector(Lifter).item =
| None : ('b, [ `Absent ]) item| Some : 'a0 T.t -> ('a0, 'c) item
type (!'sequence, !'occurrences) t =
('sequence, 'occurrences) Refl__Tools.Vector(Lifter).t =
| [] : (unit, unit) t| :: : ('head, 'occurrence) item
* ('tail, 'occurrences0) t -> ('head * 'tail, 'occurrence * 'occurrences0) t
val get :
('index, 'sequence, 'value, 'positive, 'occurrences) Refl__.Desc.variable ->
('sequence, 'occurrences) t ->
'value T.tval make_transfer :
('source, 'sub, 'arg) Refl__.Desc.transfer_arguments ->
('sequence, 'source) t ->
(('sequence, 'arg) t, ('sub, [ `Absent ]) Refl__.Desc.eq) Stdlib.resulttype (!'arity, !'rec_group, !'kinds) make =
('arity, 'rec_group, 'kinds) Refl__Tools.Vector(Lifter).make =
{f : 'a 'structure 'ap 'an 'ad 'gadt. ('a,
'structure,
'arity,
'rec_group,
'kinds,
'ap,
'an,
'ad,
'gadt)
Refl__.Desc.desc ->
('arity, 'ad) t ->
'a T.t;
}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) ttype !'presence any = 'presence Refl__Tools.Vector(Lifter).any = | None : [ `Absent ] any| Some : {item : 'a. 'a T.t;
} -> 'b any
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) tval to_sequence :
[ `Present ] any ->
('sequence, 'occurrences) t ->
'sequence Refl__.Desc.Sequence(T).t