h* 3.20Safecopilot-prettyprinter(Report an error due to a bug in Copilot.copilot-prettyprinterReport an error due to an error detected by Copilot (e.g., user error).copilot-prettyprinter5Name of the function in which the error was detected.copilot-prettyprinter5Name of the package in which the function is located.copilot-prettyprinterDescription of the error.Safe)*copilot-prettyprinter.Witness datatype for showing a value, used by .copilot-prettyprinterTarget language for showing a typed value. Used to adapt the representation of booleans.copilot-prettyprinterShow a value. The representation depends on the type and the target language. Booleans are represented differently depending on the backend.copilot-prettyprinterShow Copilot Core type.copilot-prettyprinter Turn a type into a show witness. Safe)*  copilot-prettyprinterCreate a unique stream name by prefixing the given ID by a lowercase letter "s".copilot-prettyprinter"Pretty-print a Copilot expression.?The type is ignored, and only the expression is pretty-printed. copilot-prettyprinter#Pretty-print an untyped expression.?The type is ignored, and only the expression is pretty-printed. copilot-prettyprinterPretty-print a unary operation.copilot-prettyprinter Pretty-print a binary operation.copilot-prettyprinter!Pretty-print a ternary operation.copilot-prettyprinterParenthesize two s, separated by an infix .copilot-prettyprinter Prefix a  by a .copilot-prettyprinterPretty-print a Copilot stream as a case of a top-level function for streams of that type, by pattern matching on the stream name.copilot-prettyprinter8Pretty-print a Copilot trigger as a case of a top-level trigger4 function, by pattern matching on the trigger name.copilot-prettyprinter9Pretty-print a Copilot observer as a case of a top-level observer5 function, by pattern matching on the observer name.copilot-prettyprinter9Pretty-print a Copilot property as a case of a top-level property5 function, by pattern matching on the property name.copilot-prettyprinter=Pretty-print a Copilot specification, in the following order:Streams definitionsTrigger definitionsObserver definitionsProperty definitionscopilot-prettyprinter%Pretty-print a Copilot specification.      !"1copilot-prettyprinter-3.20-4chISHxyZdsBOs99brIlNeCopilot.PrettyPrintcopilot-prettyprinterCopilot.PrettyPrint.ErrorCopilot.PrettyPrint.TypeppExpr prettyPrint impossiblebadUsageShowWit showWithTypeShowTypeshowTypeshowWitCHaskellstrmNameppUExprppOp1ppOp2ppOp3ppInfixpretty-1.1.3.6Text.PrettyPrint.HughesPJDocbaseGHC.BaseStringppPrefixppStream ppTrigger ppObserver ppPropertyppSpec