sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
Compilation object indexes
type 'a t = 'a index
The type for compilation objects indexes whose query results are tagged with 'a
.
val empty : 'a index
empty
is an empty index.
of_set ~init t s
is an index from s
whose objects are tagged with t
. init
is the index to add to (defaults to empty
.)
The type for queries. Either by digest or by (capitalized) module name.
val query :
'a t ->
query ->
('a * cmi) list
* ('a * cmti) list
* ('a * cmo) list
* ('a * cmx) list
* ('a * cmt) list
query i q
is (cmis, cmtis, cmos, cmxs, cmt)
the compilations objects matching query q
in i
:
cmis
are those whose Cobj.Cmi.name
or Cobj.Cmi.digest
match.cmtis
are those whose Cobj.Cmti.name
or Cobj.Cmti.digest
match.cmos
are those whose Cobj.Cmo.name
or Cobj.Cmo.cmi_digest
match.cmxs
are those whose Cobj.Cmx.name
or Cobj.Cmx.digest
or Cobj.Cmx.cmi_digest
match.cmts
are those whose Cobj.Cmt.name
or Cobj.Cmt.cmi_digest
match.cmi_for_interface i q
is a list of cmi
s whose module interface matches q
.
cmti_for_interface i q
is a list of cmti
s whose module interface matches q
.
cmo_for_interface i d
is a list of cmo
whose module interface matches q
.
cmxs_for_interface i cmx
is a list of cmx
objects whose module interface matches q
.