Searched defs:edge (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/tools/mlyacc/src/
H A Dgraph.sml68 val edge = {edge=symbol,to=core} value
[all...]
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DRule.sml625 datatype edge = type
666 val edge = FactorEdge (atm,atm') value
677 val edge value
688 val edge = ReflEdge (Atom.destEq atm) value
[all...]
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DRule.sml625 datatype edge = type
666 val edge = FactorEdge (atm,atm') value
677 val edge value
688 val edge = ReflEdge (Atom.destEq atm) value
[all...]

Completed in 46 milliseconds