Searched defs:uses (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/mos-count/
H A Dhalfaddn.ml4 % DESCRIPTION : Defines a CMOS half-adder circuit and uses this % var
H A Dmuxn.ml4 % DESCRIPTION : Defines a CMOS Mux and uses this to construct a % var
H A Dregn.ml4 % DESCRIPTION : Defines a dynamic register and uses it to construct % var
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/
H A DcompilerLib.sml252 fun uses def = function
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/
H A DCODEGEN_PARSETREE.sml346 val uses = IntArray.array (noOfPats, 0); value
[all...]

Completed in 52 milliseconds