Searched defs:File (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/HOL4/tools/Holmake/
H A DHM_GraphBuildJ1.sig4 type File = Holmake_tools.File type
H A DHolmake_tools_dtype.sml13 datatype File = type
H A DHolmake_tools.sig6 datatype File = datatype Holmake_tools_dtype.File type
[all...]
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DFile.h31 class File { class
41 File(void) : DEFAULTS {} function in class:File
43 File(int fd, FileMode mode, bool own_fd = true) : DEFAULTS { function in class:File
46 File(cchar* name, cchar* mode) : DEFAULTS { function in class:File
[all...]

Completed in 44 milliseconds