Module EvaluationTracker.DottyPrinter

val dotty_of_ctl_evaluation : t -> string