Searched defs:extension (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/HolQbf/
H A DQbfCertificate.sml31 datatype extension = ITE of literal * literal * literal type
75 fun extension ext [vindex, "I", lit1, lit2, lit3] = function
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dexporter.cpp486 static void exporter(TaskData *taskData, Handle fileName, Handle root, const TCHAR *extension, Exporter *exports) argument
618 const TCHAR *extension = _T(".obj"); // Windows local
664 const TCHAR *extension = _T(".obj"); // Windows local
[all...]

Completed in 28 milliseconds