module State:sig
..end
type
t =
| |
Start |
| |
NotSeen |
| |
Modif |
| |
SameVal |
val pretty : Format.formatter -> t -> unit
val merge : t -> t -> t
val equal : t -> t -> bool
val test_and_merge : old:t -> t -> t option
val transfer : bool -> t -> t