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 *
Netstring_tstring.tstring_polybox * int * int
| Tag of Netasn1.Value.tag_class * int * Netasn1.Value.pc *
Netasn1.Value.value
| ITag of Netasn1.Value.tag_class * int * 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
type time_subtype = [ `G | `U ]
val type_of_value :
Netasn1.Value.value -> Netasn1.Type_name.type_name option
val get_int_repr : 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 int : int -> Netasn1.Value.int_value
val int32 : int32 -> Netasn1.Value.int_value
val int64 : int64 -> Netasn1.Value.int_value
val int_b256 : int array -> Netasn1.Value.int_value
val get_real_repr : 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 :
?size:int -> Netasn1.Value.bitstring_value -> bool array
val get_bitstring_repr : Netasn1.Value.bitstring_value -> string
val bitstring_of_bits : bool array -> Netasn1.Value.bitstring_value
val bitstring_of_string : string -> int -> Netasn1.Value.bitstring_value
val truncate_trailing_zero_bits :
Netasn1.Value.bitstring_value -> Netasn1.Value.bitstring_value
val get_time_subtype :
Netasn1.Value.time_value -> Netasn1.Value.time_subtype
val get_time_repr : Netasn1.Value.time_value -> string
val get_time : Netasn1.Value.time_value -> Netdate.t
val utctime : Netdate.t -> Netasn1.Value.time_value
val gentime : digits:int -> Netdate.t -> Netasn1.Value.time_value
val equal : Netasn1.Value.value -> Netasn1.Value.value -> bool
end
