Variable (async_extended.Async_extended.Ltl.Make.Variable)

type 'a t

include sig ... end

val compare : ('a ‑> 'a ‑> int) ‑> 'a t ‑> 'a t ‑> int

val create : ?sexp_of:('a ‑> Async.Sexp.t) ‑> string ‑> 'a t

create ?sexp_of name creates a variable named name. The name is only used for debugging and error printing purposes. Every variable is unique, even if created with the same name.

val to_string : 'a t ‑> string