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

/seL4-l4v-master/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 47 milliseconds