Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package asn1-combinators
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Prim = Asn_primmodule Int : sig ... endval fix : ('a Asn_core.asn -> 'a Asn_core.asn) -> 'a Asn_core.asnval map :
?random:'a Asn_core.rand ->
('b -> 'a) ->
('a -> 'b) ->
'b Asn_core.asn ->
'a Asn_core.asnval to_tag :
int ->
[< `Application | `Private | `Universal ] option ->
Asn_core.Tag.tval explicit :
?cls:[< `Application | `Private | `Universal ] ->
int ->
'a Asn_core.asn ->
'a Asn_core.asnval implicit : 'a. ?cls:cls -> int -> 'a Asn_core.asn -> 'a Asn_core.asnval bool : bool Asn_core.asnval integer : Z.t Asn_core.asnval octet_string : Cstruct.t Asn_core.asnval null : unit Asn_core.asnval oid : Asn_core.OID.t Asn_core.asnval character_string : string Asn_core.asnval string : int -> string Asn_core.asnval utf8_string : string Asn_core.asnval numeric_string : string Asn_core.asnval printable_string : string Asn_core.asnval teletex_string : string Asn_core.asnval videotex_string : string Asn_core.asnval ia5_string : string Asn_core.asnval graphic_string : string Asn_core.asnval visible_string : string Asn_core.asnval general_string : string Asn_core.asnval universal_string : string Asn_core.asnval bmp_string : string Asn_core.asnval utc_time : Ptime.t Asn_core.asnval generalized_time : Ptime.t Asn_core.asnval int : int Asn_core.asnval enumerated : (int -> 'a) -> ('a -> int) -> 'a Asn_core.asnval bit_string : bool array Asn_core.asnval bit_string_cs : Cstruct.t Asn_core.asnval bit_string_flags : (int * 'a) list -> 'a list Asn_core.asnval single : 'a Asn_core.element -> 'a Asn_core.sequenceval (@) :
'a Asn_core.element ->
'b Asn_core.sequence ->
('a * 'b) Asn_core.sequenceval (-@) :
'a Asn_core.element ->
'b Asn_core.element ->
('a * 'b) Asn_core.sequenceval optional : ?label:string -> 'a Asn_core.asn -> 'a option Asn_core.elementval required : ?label:string -> 'a Asn_core.asn -> 'a Asn_core.elementval product2 :
(('a * 'b) Asn_core.sequence -> 'c) ->
'a Asn_core.element ->
'b Asn_core.element ->
'cval product3 :
(('a * ('b * 'c)) Asn_core.sequence -> ('d * ('e * 'f)) Asn_core.asn) ->
'a Asn_core.element ->
'b Asn_core.element ->
'c Asn_core.element ->
('d * 'e * 'f) Asn_core.asnval product4 :
(('a * ('b * ('c * 'd))) Asn_core.sequence ->
('e * ('f * ('g * 'h))) Asn_core.asn) ->
'a Asn_core.element ->
'b Asn_core.element ->
'c Asn_core.element ->
'd Asn_core.element ->
('e * 'f * 'g * 'h) Asn_core.asnval product5 :
(('a * ('b * ('c * ('d * 'e)))) Asn_core.sequence ->
('f * ('g * ('h * ('i * 'j)))) Asn_core.asn) ->
'a Asn_core.element ->
'b Asn_core.element ->
'c Asn_core.element ->
'd Asn_core.element ->
'e Asn_core.element ->
('f * 'g * 'h * 'i * 'j) Asn_core.asnval product6 :
(('a * ('b * ('c * ('d * ('e * 'f))))) Asn_core.sequence ->
('g * ('h * ('i * ('j * ('k * 'l))))) Asn_core.asn) ->
'a Asn_core.element ->
'b Asn_core.element ->
'c Asn_core.element ->
'd Asn_core.element ->
'e Asn_core.element ->
'f Asn_core.element ->
('g * 'h * 'i * 'j * 'k * 'l) Asn_core.asnval sequence : 'a Asn_core.sequence -> 'a Asn_core.asnval sequence2 :
'a Asn_core.element ->
'b Asn_core.element ->
('a * 'b) Asn_core.asnval sequence3 :
'a Asn_core.element ->
'b Asn_core.element ->
'c Asn_core.element ->
('a * 'b * 'c) Asn_core.asnval sequence4 :
'a Asn_core.element ->
'b Asn_core.element ->
'c Asn_core.element ->
'd Asn_core.element ->
('a * 'b * 'c * 'd) Asn_core.asnval sequence5 :
'a Asn_core.element ->
'b Asn_core.element ->
'c Asn_core.element ->
'd Asn_core.element ->
'e Asn_core.element ->
('a * 'b * 'c * 'd * 'e) Asn_core.asnval sequence6 :
'a Asn_core.element ->
'b Asn_core.element ->
'c Asn_core.element ->
'd Asn_core.element ->
'e Asn_core.element ->
'f Asn_core.element ->
('a * 'b * 'c * 'd * 'e * 'f) Asn_core.asnval sequence_of : 'a Asn_core.asn -> 'a list Asn_core.asnval set : 'a Asn_core.sequence -> 'a Asn_core.asnval set2 : 'a Asn_core.element -> 'b Asn_core.element -> ('a * 'b) Asn_core.asnval set3 :
'a Asn_core.element ->
'b Asn_core.element ->
'c Asn_core.element ->
('a * 'b * 'c) Asn_core.asnval set4 :
'a Asn_core.element ->
'b Asn_core.element ->
'c Asn_core.element ->
'd Asn_core.element ->
('a * 'b * 'c * 'd) Asn_core.asnval set5 :
'a Asn_core.element ->
'b Asn_core.element ->
'c Asn_core.element ->
'd Asn_core.element ->
'e Asn_core.element ->
('a * 'b * 'c * 'd * 'e) Asn_core.asnval set6 :
'a Asn_core.element ->
'b Asn_core.element ->
'c Asn_core.element ->
'd Asn_core.element ->
'e Asn_core.element ->
'f Asn_core.element ->
('a * 'b * 'c * 'd * 'e * 'f) Asn_core.asnval set_of : 'a Asn_core.asn -> 'a list Asn_core.asnval choice :
'a Asn_core.asn ->
'b Asn_core.asn ->
('a, 'b) Asn_core.sum Asn_core.asnval choice2 :
'a Asn_core.asn ->
'b Asn_core.asn ->
[ `C1 of 'a | `C2 of 'b ] Asn_core.asnval choice3 :
'a Asn_core.asn ->
'b Asn_core.asn ->
'c Asn_core.asn ->
[ `C1 of 'a | `C2 of 'b | `C3 of 'c ] Asn_core.asnval choice4 :
'a Asn_core.asn ->
'b Asn_core.asn ->
'c Asn_core.asn ->
'd Asn_core.asn ->
[ `C1 of 'a | `C2 of 'b | `C3 of 'c | `C4 of 'd ] Asn_core.asnval choice5 :
'a Asn_core.asn ->
'b Asn_core.asn ->
'c Asn_core.asn ->
'd Asn_core.asn ->
'e Asn_core.asn ->
[ `C1 of 'a | `C2 of 'b | `C3 of 'c | `C4 of 'd | `C5 of 'e ] Asn_core.asnval choice6 :
'a Asn_core.asn ->
'b Asn_core.asn ->
'c Asn_core.asn ->
'd Asn_core.asn ->
'e Asn_core.asn ->
'f Asn_core.asn ->
[ `C1 of 'a | `C2 of 'b | `C3 of 'c | `C4 of 'd | `C5 of 'e | `C6 of 'f ]
Asn_core.asn