Module Datascope.State


module State: sig .. end


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