65 open Hints_declaration
85 type bemem = GenMem.mem
87 (** val is_addressable : AST.region -> Bool.bool **)
88 let is_addressable = function
89 | AST.XData -> Bool.True
90 | AST.Code -> Bool.True
92 type address = (ByteValues.beval, ByteValues.beval) Types.prod
94 (** val pointer_of_address : address -> Pointers.pointer Errors.res **)
95 let pointer_of_address p =
96 let { Types.fst = v1; Types.snd = v2 } = p in
97 ByteValues.pointer_of_bevals (List.Cons (v1, (List.Cons (v2, List.Nil))))