Assignment (Ltl.Make.Assignment)

type t

val find : t -> 'a Variable.t -> 'a option

val find_exn : t -> 'a Variable.t -> 'a

Module Assignment

Signature