Searched defs:modify (Results 1 - 14 of 14) sorted by relevance

/seL4-l4v-master/HOL4/polyml/basis/
H A DArray2Signature.sml47 val modify: traversal -> ('a -> 'a) -> 'a array -> unit value
H A DArraySignature.sml45 val modify : ('a -> 'a) -> 'a array -> unit value
H A DArraySliceSignature.sml42 val modify : ('a -> 'a) -> 'a slice -> unit value
H A DIntArray2.sml55 val modify: Array2.traversal -> (elem -> elem) -> array -> unit value
H A DMONO_ARRAY.sml45 val modify : (elem -> elem) -> array -> unit value
H A DPolyVectorOperations.sml37 val modify : ('a -> 'a) -> 'a vector -> unit (* Array only *) value
124 fun modify f vec = function
H A DVectorOperations.sml41 val modify : (elem -> elem) -> vector -> unit (* Array only *) value
128 fun modify f vec = function
H A DMONO_ARRAY_SLICE.sml46 val modify : (elem -> elem) -> slice -> unit value
H A DVectorSliceOperations.sml59 val modify : (elem -> elem) -> slice -> unit value
H A DArray2.sml199 fun modify tr f arr = function
/seL4-l4v-master/HOL4/examples/acl2/tests/inputs/
H A Dm1-story.lisp1016 (defmacro modify (s &rest args) function
[all...]
/seL4-l4v-master/HOL4/examples/l3-machine-code/lib/
H A DBitstring.sml169 fun modify (f: Nat.nat * bool -> bool) a = function
/seL4-l4v-master/HOL4/src/portableML/
H A DTable.sml246 fun modify key f tab = function
[all...]
/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DArrayVector.sml112 val modify : (elem -> elem) -> array -> unit value
262 val modify : (elem -> elem) -> slice -> unit value

Completed in 73 milliseconds