Searched defs:getWidth (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/tools/Holmake/
H A DHolmake_tools.sig66 val getWidth : unit -> int value
H A DHolmake_tools.sml143 fun getWidth() = valOf (getWidth0()) function
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ParseTree/
H A DCODEGEN_PARSETREE.sml185 fun getWidth(MatchTree{exp, ...}) = tupleWidth exp function

Completed in 107 milliseconds