pretty-defs

(in-package "STR")

(include-book "defs")

(include-book "centaur/fty/fty-sum-casemacro" :dir :system)

(encapsulate nil
  (local (include-book "pretty"))
  (local (include-book "pretty-defs-aux"))
  (local (include-book "std/util/defredundant" :dir :system))
  (make-event (b* ((events (defredundant-fn *pretty-defs* nil state)))
      (value events))))