Signature ASN1 Structure Asn1

Signature ASN1 Structure Asn1 Basis Foreign

These functions provide assistance in the encoding and decoding of ASN1 binary encoding.

signature ASN1: sig datatype form = Primitive | Constructed datatype tagType = Universal of int * form | Application of int * form | Context of int * form | Private of int * form val asn1Boolean: tagType and asn1Integer: tagType and asn1BitString: tagType and asn1OctetString: tagType val readHeader: (Word8.word, 'a) StringCvt.reader -> (tagType * int, 'a) StringCvt.reader val decodeItem: Word8VectorSlice.slice -> {tag:tagType, data:Word8VectorSlice.slice, remainder:Word8VectorSlice.slice} option val decodeInt: Word8VectorSlice.slice -> int and decodeLargeInt: Word8VectorSlice.slice -> LargeInt.int and decodeString: Word8VectorSlice.slice -> string and decodeBool: Word8VectorSlice.slice -> bool val encodeItem: tagType * Word8Vector.vector list -> Word8Vector.vector list val encodeInt: int -> Word8Vector.vector and encodeString: string -> Word8Vector.vector and encodeBool: bool -> Word8Vector.vector end structure Asn1: ASN1

datatype form = Primitive | Constructed

datatype tagType =
    Universal of int * form |
    Application of int * form |
    Context of int * form |
    Private of int * form

val asn1Boolean : tagType
and asn1Integer : tagType
and asn1BitString : tagType
and asn1OctetString : tagType

val readHeader :
    (Word8.word, 'a) StringCvt.reader ->
      (tagType * int, 'a) StringCvt.reader

val decodeItem :
    Word8VectorSlice.slice ->
      {tag:tagType, data:Word8VectorSlice.slice,
        remainder:Word8VectorSlice.slice} option

val decodeInt : Word8VectorSlice.slice -> int
and decodeLargeInt : Word8VectorSlice.slice -> LargeInt.int
and decodeString : Word8VectorSlice.slice -> string
and decodeBool : Word8VectorSlice.slice -> bool

val encodeItem :
    tagType * Word8Vector.vector list -> Word8Vector.vector list

val encodeInt : int -> Word8Vector.vector
and encodeString : string -> Word8Vector.vector
and encodeBool : bool -> Word8Vector.vector