Parameter Async_extended.Ltl.Make.1-State

type t
val to_string : t ‑> string
val time : t ‑> Core.Time_ns.t option