mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
15 lines
214 B
Plaintext
15 lines
214 B
Plaintext
module IgnoreRes
|
|
[@java:class_kind:abstract]
|
|
|
|
type t = {
|
|
mutable x : bool;
|
|
mutable d : bool;
|
|
}
|
|
|
|
val f (self : t) : bool
|
|
writes { self }
|
|
|
|
let g (self : t) : unit =
|
|
let _ = f self in ()
|
|
end
|