sig
exception Out_of_range
exception Parse_error of int
module Type_name :
sig
type type_name =
Bool
| Integer
| Enum
| Real
| Bitstring
| Octetstring
| Null
| Seq
| Set
| OID
| ROID
| ObjectDescriptor
| External
| Embedded_PDV
| NumericString
| PrintableString
| TeletexString
| VideotexString
| VisibleString
| IA5String
| GraphicString
| GeneralString
| UniversalString
| BMPString
| UTF8String
| CharString
| UTCTime
| GeneralizedTime
end
module Value :
sig
type pc = Primitive | Constructed
type value =
Bool of bool
| Integer of Netasn1.Value.int_value
| Enum of Netasn1.Value.int_value
| Real of Netasn1.Value.real_value
| Bitstring of Netasn1.Value.bitstring_value
| Octetstring of string
| Null
| Seq of Netasn1.Value.value list
| Set of Netasn1.Value.value list
| Tagptr of Netasn1.Value.tag_class * int * Netasn1.Value.pc *
string * int * int
| Tag of Netasn1.Value.tag_class * int * Netasn1.Value.pc *
Netasn1.Value.value
| OID of int array
| ROID of int array
| ObjectDescriptor of string
| External of Netasn1.Value.value list
| Embedded_PDV of Netasn1.Value.value list
| NumericString of string
| PrintableString of string
| TeletexString of string
| VideotexString of string
| VisibleString of string
| IA5String of string
| GraphicString of string
| GeneralString of string
| UniversalString of string
| BMPString of string
| UTF8String of string
| CharString of string
| UTCTime of Netasn1.Value.time_value
| GeneralizedTime of Netasn1.Value.time_value
and tag_class = Universal | Application | Context | Private
and int_value
and real_value
and bitstring_value
and time_value
val get_int_str : Netasn1.Value.int_value -> string
val get_int_b256 : Netasn1.Value.int_value -> int array
val get_int : Netasn1.Value.int_value -> int
val get_int32 : Netasn1.Value.int_value -> int32
val get_int64 : Netasn1.Value.int_value -> int64
val get_real_str : Netasn1.Value.real_value -> string
val get_bitstring_size : Netasn1.Value.bitstring_value -> int
val get_bitstring_data : Netasn1.Value.bitstring_value -> string
val get_bitstring_bits : Netasn1.Value.bitstring_value -> bool array
val get_time_str : Netasn1.Value.time_value -> string
val get_time : Netasn1.Value.time_value -> Netdate.t
val equal : Netasn1.Value.value -> Netasn1.Value.value -> bool
end
val decode_ber :
?pos:int -> ?len:int -> string -> int * Netasn1.Value.value
val decode_ber_contents :
?pos:int ->
?len:int ->
?indefinite:bool ->
string ->
Netasn1.Value.pc ->
Netasn1.Type_name.type_name -> int * Netasn1.Value.value
val decode_ber_length : ?pos:int -> ?len:int -> string -> int
val decode_ber_header :
?pos:int ->
?len:int ->
?skip_length_check:bool ->
string ->
int * Netasn1.Value.tag_class * Netasn1.Value.pc * int * int option
end
