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

/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibSolver.sig45 type node_data = {name : string, solver_con : form -> solver} type
H A DmlibSolver.sml145 type node_data = {name : string, solver_con : form -> solver}; type

Completed in 40 milliseconds