/seL4-l4v-master/HOL4/examples/dev/sw/ |
H A D | Table.sml | 17 val getInt: key -> int) : TABLE = value 24 fun enter(t,k,a) = Binarymap.insert(t,getInt k,a) 25 fun look(t,k) = Binarymap.find(t,getInt k) 26 fun peek(t,k) = Binarymap.peek(t,getInt k) 28 fun remove(t,k) = Binarymap.remove(t,getInt k)
|
H A D | Temp.sml | 21 fun getInt n = n) function
|
H A D | Symbol.sml | 42 fun getInt(s,n) = n) function
|
H A D | declFuncs.sml | 15 structure T = IntMapTable(type key = int fun getInt n = n); function
|
H A D | CFG.sml | 34 structure T = IntMapTable(type key = int fun getInt n = n); function
|
H A D | IRSyntax.sml | 344 structure T = IntMapTable(type key = int fun getInt n = n); function
|
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
H A D | Table.sml | 17 val getInt: key -> int) : TABLE = value 24 fun enter(t,k,a) = Binarymap.insert(t,getInt k,a) 25 fun look(t,k) = Binarymap.find(t,getInt k) 26 fun peek(t,k) = Binarymap.peek(t,getInt k) 28 fun remove(t,k) = Binarymap.remove(t,getInt k)
|
H A D | Temp.sml | 21 fun getInt n = n) function
|
H A D | Symbol.sml | 42 fun getInt(s,n) = n) function
|
H A D | declFuncs.sml | 15 structure T = IntMapTable(type key = int fun getInt n = n); function
|
H A D | CFG.sml | 34 structure T = IntMapTable(type key = int fun getInt n = n); function
|
H A D | IR.sml | 126 structure T = IntMapTable(type key = int fun getInt n = n); function
|
H A D | IRSyntax.sml | 336 structure T = IntMapTable(type key = int fun getInt n = n); function
|
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/util/ |
H A D | Table.sml | 17 val getInt: key -> int) : TABLE = value 24 fun enter(t,k,a) = Binarymap.insert(t,getInt k,a) 25 fun look(t,k) = Binarymap.find(t,getInt k) 26 fun peek(t,k) = Binarymap.peek(t,getInt k) 28 fun remove(t,k) = Binarymap.remove(t,getInt k)
|
H A D | Temp.sml | 19 fun getInt n = n) function
|
H A D | Symbol.sml | 42 fun getInt(s,n) = n) function
|
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/ |
H A D | Symbol.sml | 42 fun getInt(s,n) = n) function
|
H A D | declFuncs.sml | 15 structure T = IntMapTable(type key = int fun getInt n = n); function
|
H A D | CFG.sml | 34 structure T = IntMapTable(type key = int fun getInt n = n); function
|
H A D | IR.sml | 126 structure T = IntMapTable(type key = int fun getInt n = n); function
|
H A D | IRSyntax.sml | 336 structure T = IntMapTable(type key = int fun getInt n = n); function
|
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
H A D | File.h | 138 static inline uint64 getInt (File& in) { return decode64(getUInt(in)); } function
|
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | TopLevelPolyML.sml | 180 fun getInt termCh : FixedInt.int = function 201 val startPosition = getInt #"," 203 val preludeLength = getInt #"," 204 val sourceLength = getInt #"," 221 val startOffset = getInt #"," 222 val endOffset = getInt #"," 241 val startOffset = getInt #"," 242 val endOffset = getInt #"t" 255 val startOffset = getInt #"," 256 val endOffset = getInt #"," [all...] |
/seL4-l4v-master/HOL4/src/HolSat/ |
H A D | dimacsTools.sml | 315 fun getInt get = Int.scan StringCvt.DEC get; function 324 val res = getInt get (valOf src'') 348 case getInt get src of
|
/seL4-l4v-master/isabelle/src/Pure/General/ |
H A D | sql.scala | 276 def int(column: Column): Int = rep.getInt(column.name)
|