Searched defs:collapse (Results 1 - 9 of 9) sorted by relevance

/seL4-l4v-master/HOL4/src/1/
H A DFullUnify.sig23 val collapse : ((hol_type,hol_type)subst * (term,term) subst) Env.EM value
H A DFullUnify.sml176 fun collapse E = SOME(E, collapse0 E) function
/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DTreeNode.java91 public void collapse() method in class:TreeNode
H A DGraph.java946 public void collapse(Vector vs,String name,Vector inflate) { method in class:Graph
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DTreeNode.java91 public void collapse() method in class:TreeNode
H A DGraph.java946 public void collapse(Vector vs,String name,Vector inflate) { method in class:Graph
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DUseful.sml299 fun collapse l = (fst (hd l), List.map snd l); function
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DUseful.sml299 fun collapse l = (fst (hd l), List.map snd l); function
/seL4-l4v-master/HOL4/polyml/basis/
H A DOS.sml529 fun collapse [] = [] function

Completed in 77 milliseconds