Plasma GitLab Archive
Projects Blog Knowledge

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
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml