Parameter Async_extended__Ltl.Make.1-State

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