Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module OID = Asn_oid
val strf : ('a, Format.formatter, unit, string) format4 -> 'a
val pf : Format.formatter -> ('a, Format.formatter, unit) format -> 'a
val kstrf : (string -> 'a) -> ('b, Format.formatter, unit, 'a) format4 -> 'b
val invalid_arg : ('a, unit, string, 'b) format4 -> 'a
val pp_list :
sep:(Format.formatter -> unit -> unit) ->
(Format.formatter -> 'a -> unit) ->
Format.formatter ->
'a list ->
unit
val pp_dump_list :
(Format.formatter -> 'a -> unit) ->
Format.formatter ->
'a list ->
unit
val pp_cs : Format.formatter -> Cstruct.t -> unit
module Tag : sig ... end
type tag = Tag.t
type tags = Tag.t list
module Generic : sig ... end
type bits = int * Cstruct.t
type _ asn =
| Iso : ('a -> 'b) * ('b -> 'a) * 'b rand option * 'a asn -> 'b asn
| Fix : ('a asn -> 'a asn) * 'a Asn_cache.var -> 'a asn
| Sequence : 'a sequence -> 'a asn
| Sequence_of : 'a asn -> 'a list asn
| Set : 'a sequence -> 'a asn
| Set_of : 'a asn -> 'a list asn
| Choice : 'a asn * 'b asn -> ('a, 'b) sum asn
| Implicit : tag * 'a asn -> 'a asn
| Explicit : tag * 'a asn -> 'a asn
| Prim : 'a prim -> 'a asn
val seq_tag : Tag.t
val set_tag : Tag.t
val pp_error : Format.formatter -> [< `Parse of string ] -> unit
exception Parse_error of error
val error : error -> 'a
val parse_error : ('a, Format.formatter, unit, 'b) format4 -> 'a
module FSet : sig ... end
val validate : 'a asn -> unit