(Project.config "file-path-print-length" "short")

(sig x Int)
(def x false)