Searched defs:Encode (Results 1 - 12 of 12) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/Boolify/src/
H A DEncode.sig7 signature Encode = sig end signature
H A DEncode.sml7 structure Encode :> Encode = structure
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/model/
H A Darm8.sig820 val Encode: instruction -> MachineCode value
H A Darm8.sml6743 fun Encode i = function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/model/
H A Dm0.sig421 val Encode: (BitsN.nbit * (instruction * enc)) -> maybeMachineCode value
H A Dm0.sml3648 fun Encode (c,(ast,enc)) = function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/
H A Darm.sig1142 val Encode: (BitsN.nbit * (instruction * enc)) -> MachineCode value
H A Darm.sml23247 fun Encode (c,(ast,enc)) = function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/mips/model/
H A Dmips.sig1019 val Encode: instruction -> BitsN.nbit value
H A Dmips.sml11792 fun Encode i = function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/model/
H A Driscv.sig1123 val Encode: instruction -> BitsN.nbit value
H A Driscv.sml13895 fun Encode i = function

Completed in 321 milliseconds