Index of values

(-@) [Asn.S]
e -@ e1 is e @ single e1
(<|) [Asn.OID]
oid <| n is the OID oid.n.
(<||) [Asn.OID]
oid <|| ns is the old oid.n1.n2. ... if ns is [n1; n2; ...].
(@) [Asn.S]
e @ seq extends seq by prepending e.

base [Asn.OID]
base n1 n2 is the OID n1.n2.
ber [Asn]
ber is ASN.1 Basic Encoding Rules (BER).
bit_string [Asn.S]
bit_string is ASN.1 BIT STRING.
bit_string_cs [Asn.S]
bit_string_cs is ASN.1 BIT STRING, represented as Cstruct.t.
bit_string_flags [Asn.S]
bit_string_flags xs is ASN.1 BIT STRING, represented as a collection of values.
bmp_string [Asn.S]
bool [Asn.S]
bool is ASN.1 BOOLEAN.

choice2 [Asn.S]
choice2 asn1 asn2 is the ASN.1 CHOICE construct, choosing between asn1 and asn2.
choice3 [Asn.S]
choice4 [Asn.S]
choice5 [Asn.S]
choice6 [Asn.S]
codec [Asn]
codec enc asn represents the syntax asn encoded under the rules enc.
compare [Asn.OID]

decode [Asn]
decode codec cs is the pair (x, cs'), where x is the result of decoding the prefix of cs with codec and cs' are the trailing bytes, or an Asn.error.
der [Asn]
der is ASN.1 Distinguished Encoding Rules (DER).

encode [Asn]
encode codec x is the encoding of x, using codec.
encode_into [Asn]
encode_into codec x is the pair (n, f), where n is the length of x encoded with codec, and f is a function that will write the encoded x to the first n bytes of the provided Cstruct.t.
enumerated [Asn.S]
enumerated f g is ASN.1 ENUMERATED, with f projecting from, and g injecting into an int.
equal [Asn.OID]
error [Asn.S]
error err aborts parsing with the error err.
explicit [Asn.S]
explicit ?cls n asn is the ASN.1 EXPLICIT construct, changing the tag of asn to (cls, n).

fix [Asn.S]
fix fasn is the fixpoint, allowing fasn to construct a syntax that refers to itself.

general_string [Asn.S]
generalized_time [Asn.S]
generalized_time is ASN.1 GeneralizedTime.
graphic_string [Asn.S]

hash [Asn.OID]

ia5_string [Asn.S]
implicit [Asn.S]
implicit ?cls n asn is the ASN.1 IMPLICIT construct, changing the tag of asn to (cls, n).
int [Asn.S]
int is ASN.1 INTEGER, projected into an OCaml int.
integer [Asn.S]
integer is ASN.1 INTEGER.

map [Asn.S]
map ?random f g asn creates a derived syntax that encodes and decodes like asn, but uses f to project and g to inject.

null [Asn.S]
null is ASN.1 NULL.
numeric_string [Asn.S]

octet_string [Asn.S]
octet_string is ASN.1 OCTET STRING.
of_nodes [Asn.OID]
of_nodes n1 n2 ns is the oid n1.n2.ns..., or None, if any of the components are out of range.
of_string [Asn.OID]
of_string s is the OID represented by s, or None, if s is not dotted-decimal or the components are out of range.
oid [Asn.S]
optional [Asn.S]
optional ?label asn is a sequence element marked with the ASN.1 OPTIONAL keyword.

parse_error [Asn.S]
parse_error fmt ... aborts parsing with the message produced by using fmt to format arguments ....
pp [Asn.OID]
pp ppf oid pretty-prints oid on ppf as dotted-decimal.
pp_error [Asn]
pp_error ppf err pretty-prints err on ppf.
printable_string [Asn.S]

random [Asn]
random asn is a random inhabitant of 'a.
required [Asn.S]
required ?label asn is a regular sequence element.

seeded_hash [Asn.OID]
sequence [Asn.S]
sequence seq is the ASN.1 SEQUENCE construct, with the body seq.
sequence2 [Asn.S]
sequence2 e1 e2 is sequence (e1 -@ e2).
sequence3 [Asn.S]
sequence4 [Asn.S]
sequence5 [Asn.S]
sequence6 [Asn.S]
sequence_of [Asn.S]
sequence_of is the ASN.1 SEQUENCE OF construct.
set [Asn.S]
seq seq is the ASN.1 SET construct, with the body seq.
set2 [Asn.S]
set2 e1 e2 is set (e1 -@ e2).
set3 [Asn.S]
set4 [Asn.S]
set5 [Asn.S]
set6 [Asn.S]
set_of [Asn.S]
set_of asn is the ASN.1 SET OF construct.
single [Asn.S]
single e is the singleton sequence containing just e.

teletex_string [Asn.S]
to_nodes [Asn.OID]
to_nodes oid are the nodes this oid consists of.

universal_string [Asn.S]
utc_time [Asn.S]
utc_time is ASN.1 UTCTime.
utf8_string [Asn.S]

videotex_string [Asn.S]
visible_string [Asn.S]