Lines Matching refs:tag
38 (* Parse the tag and length information to extract the first tag/value pair from the
42 (* Parse the tag and length information to extract the first tag/value pair from the
45 {tag: tagType, data: Word8VectorSlice.slice, remainder: Word8VectorSlice.slice} option
51 (* Encode a tag/value pair. *)
112 (* The tag is the bottom five bits except that if it is 0x1f
113 the tag is encoded in subsequent bytes. *)
116 0w31 => (* This is a long-format tag *)
124 val tag' = acc * 128 + Word8.toInt(Word8.andb(code, 0wx7f))
127 then SOME(tag', seq')
128 else decode(tag', seq')
138 SOME(tag, rest) =>
141 SOME(len, tail) => SOME((tagType(tag, sc), len), tail)
156 SOME((tag, len), tail) =>
157 SOME{tag = tag,
182 fun encodeItem (tag, value) =
204 case tag of