/seL4-l4v-master/HOL4/examples/l3-machine-code/lib/ |
H A D | Ptree.sig | 9 val peek : 'a ptree * IntInf.int -> 'a option value
|
H A D | Ptree.sml | 17 fun peek (Empty, _) = NONE function
|
/seL4-l4v-master/HOL4/src/portableML/poly/ |
H A D | Single_Assignment.sml | 11 val peek: 'a var -> 'a option value 32 fun peek (Var {var, ...}) = SingleAssignment.savalue var; function
|
H A D | Intmap.sig | 15 val peek : 'a intmap * int -> 'a option value
|
/seL4-l4v-master/HOL4/examples/dev/sw/ |
H A D | Table.sml | 8 val peek : 'a table * key -> 'a option value 26 fun peek(t,k) = Binarymap.peek(t,getInt k) function
|
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
H A D | Table.sml | 8 val peek : 'a table * key -> 'a option value 26 fun peek(t,k) = Binarymap.peek(t,getInt k) function
|
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/util/ |
H A D | Table.sml | 8 val peek : 'a table * key -> 'a option value 26 fun peek(t,k) = Binarymap.peek(t,getInt k) function
|
/seL4-l4v-master/HOL4/src/parse/ |
H A D | LVTermNet.sig | 12 val peek : 'a lvtermnet * key -> 'a list value
|
H A D | TypeNet.sig | 11 val peek : 'a typenet * hol_type -> 'a option value
|
H A D | TypeNet.sml | 101 fun peek ((net,sz), ty) = let function [all...] |
H A D | LVTermNet.sml | 101 fun peek ((net,sz), k) = let function [all...] |
/seL4-l4v-master/HOL4/src/portableML/ |
H A D | FlagDB.sig | 7 val peek : t -> 'a tag -> string -> ('a * string) option value
|
H A D | FlagDB.sml | 29 fun peek t tag nm = function
|
H A D | Redblackmap.sig | 15 val peek : ('key, 'a) dict * 'key -> 'a option value
|
H A D | Redblackset.sig | 14 val peek : 'item set * 'item -> 'item option value
|
/seL4-l4v-master/HOL4/tools-poly/poly/ |
H A D | Binarymap.sig | 15 val peek : ('key, 'a) dict * 'key -> 'a option value
|
H A D | Binaryset.sig | 17 val peek : 'item set * 'item -> 'item option value
|
/seL4-l4v-master/HOL4/examples/HolBdd/ |
H A D | Varmap.sig | 10 val peek : varmap -> string -> int option value
|
H A D | Varmap.sml | 70 fun peek (vm:varmap) name = Binarymap.peek(vm,name); function
|
/seL4-l4v-master/HOL4/src/metis/ |
H A D | mlibRewrite.sig | 19 val peek : rewrs -> int -> (thm * orient) option value
|
/seL4-l4v-master/HOL4/src/prekernel/ |
H A D | KernelSig.sig | 25 val peek : 'a symboltable * kernelname -> (kernelid * 'a) option value
|
/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | Subst.sig | 25 val peek : subst -> Term.var -> Term.term option value
|
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Subst.sig | 25 val peek : subst -> Term.var -> Term.term option value
|
/seL4-l4v-master/HOL4/examples/elliptic/ |
H A D | Map.sig | 25 val peek : ('key,'a) map -> 'key -> 'a option value
|
/seL4-l4v-master/HOL4/src/emit/ |
H A D | ConstMapML.sml | 31 val peek : 'a dict * term -> 'a option value 52 fun peek(d,k) = let function
|