Searched defs:cast (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/HOL4/src/portableML/mosml/
H A DMLSYSPortable.sml12 local val cast : 'a -> int = Obj.magic value
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/
H A DExportTree.sml42 fun cast p = toAddress(toMachineWord p) function
[all...]
H A DPretty.sml57 fun cast p = toAddress(toMachineWord p) function
68 fun cast p = toAddress(toMachineWord p) function
/seL4-l4v-master/seL4/tools/hardware/
H A Ddevice.py8 from typing import Any, Dict, Generator, List, Tuple, cast namespace
/seL4-l4v-master/HOL4/tools/Holmake/
H A Dunix-systeml.sml113 local val cast : 'a -> int = Obj.magic value
H A DwinNT-systeml.sml103 local val cast : 'a -> int = Obj.magic value

Completed in 50 milliseconds