Module Automation.State

type t
val make : unit -> t
val serialize : Stdlib.Format.formatter -> t -> unit