71 open Hints_declaration
92 GenMem.mem -> Pointers.pointer -> Nat.nat -> ByteValues.beval List.list
96 AST.typ -> GenMem.mem -> Pointers.pointer -> Values.val0 Types.option
98 val loadv : AST.typ -> GenMem.mem -> Values.val0 -> Values.val0 Types.option
101 GenMem.mem -> Pointers.pointer -> ByteValues.beval List.list -> GenMem.mem
105 AST.typ -> GenMem.mem -> Pointers.pointer -> Values.val0 -> GenMem.mem
109 AST.typ -> GenMem.mem -> Values.val0 -> Values.val0 -> GenMem.mem
112 val valid_pointer : GenMem.mem -> Pointers.pointer -> Bool.bool