blob: 144f06e39fdd8fc5ed29ac77802f3f309395ceae (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
/* End definitions */
end ast
end execute
end assembly
end encdec
end encdec_compressed
val cast print_insn : ast -> string
function print_insn insn = assembly(insn)
val decode : bits(32) -> option(ast) effect pure
function decode bv = Some(encdec(bv))
val decodeCompressed : bits(16) -> option(ast) effect pure
function decodeCompressed bv = Some(encdec_compressed(bv))
|
