State (Async_extended.Std.Ltl.State)

type t

val to_string : t -> string

val time : t -> Core.Std.Time.t

Module type State

Signature