module Abstract_memory:sig
..end
type
initialization =
| |
SurelyInitialized |
| |
MaybeUninitialized |
type
bit =
| |
Uninitialized |
| |
Zero of |
| |
Any of |
module Bit:sig
..end
typesize =
Integer.t
type
side =
| |
Left |
| |
Right |
typeoracle =
Cil_types.exp -> Int_val.t
typebioracle =
side -> oracle
module type ProtoMemory =sig
..end