Lines Matching defs:data
21 datatype data = Byte of word8 | Half of word16 | Word of word32
61 fun GET_HALF oareg data =
65 (fromString"31") (fromString"16") data
68 (fromString"15") ZERO data
70 fun GET_BYTE oareg data =
77 ZERO data
86 (fromString"15") (fromString"8") data
95 (fromString"23") (fromString"16") data
99 (fromString"31") (fromString"24") data))
101 fun FORMAT fmt oareg data =
105 (GET_BYTE oareg data)
108 (GET_BYTE oareg data)
111 (GET_HALF oareg data)
114 (GET_HALF oareg data)
116 word_ror data ( * (fromString"8") (w2n oareg))