Topllib.Topl
val automaton : unit -> ToplAutomaton.t
Return the automaton representing all Topl properties.
val is_active : unit -> bool
Return whether PulseTopl is active.