Lines Matching refs:tag
570 (* Read the ASN1 header to get the tag and then read the data.
576 | SOME((tag, length), afterHdr) =>
585 (tag, vector)
590 SOME{tag, data, remainder} =>
591 (tag, data) :: splitSequence remainder
595 fun findData tag list =
596 Option.map #2 (List.find (fn (t, _) => t = tag) list)
598 fun findString tag list =
599 Option.map decodeString (findData tag list)
600 and findInt tag list =
601 Option.map (FixedInt.fromInt o decodeInt) (findData tag list)