module Rouge
module Rouge::Formatters
module Rouge::Guessers
module Rouge::Guessers::Util
module Rouge::Guessers::Util::SourceNormalizer
module Rouge::HasModes
module Rouge::Indentation
module Rouge::Lexers
module Rouge::Lexers::ObjectiveCCommon
module Rouge::Lexers::TypescriptCommon
module Rouge::Plugins
module Rouge::Plugins::Redcarpet
module Rouge::Themes
module Rouge::Token::Tokens
class Rouge::CLI
class Rouge::CLI::Debug
class Rouge::CLI::Error
class Rouge::CLI::Guess
class Rouge::CLI::Help
class Rouge::CLI::Highlight
class Rouge::CLI::List
class Rouge::CLI::Style
class Rouge::CLI::Version
class Rouge::CSSTheme
class Rouge::FileReader
class Rouge::Formatter
class Rouge::Formatters::HTML
class Rouge::Formatters::HTMLInline
class Rouge::Formatters::HTMLLegacy
class Rouge::Formatters::HTMLLineHighlighter
class Rouge::Formatters::HTMLLineTable
class Rouge::Formatters::HTMLLinewise
class Rouge::Formatters::HTMLPygments
class Rouge::Formatters::HTMLTable
class Rouge::Formatters::Null
class Rouge::Formatters::Terminal256
class Rouge::Formatters::Terminal256::EscapeSequence
class Rouge::Formatters::Terminal256::Unescape
class Rouge::Formatters::TerminalTruecolor
class Rouge::Formatters::TerminalTruecolor::TruecolorEscapeSequence
class Rouge::Formatters::Tex
class Rouge::Guesser
class Rouge::Guesser::Ambiguous
class Rouge::Guessers::Disambiguation
class Rouge::Guessers::Disambiguation::Disambiguator
class Rouge::Guessers::Filename
class Rouge::Guessers::GlobMapping
class Rouge::Guessers::Mimetype
class Rouge::Guessers::Modeline
class Rouge::Guessers::Source
class Rouge::InheritableHash
class Rouge::InheritableList
class Rouge::Lexer
class Rouge::Lexers::ABAP
class Rouge::Lexers::APIBlueprint
class Rouge::Lexers::Actionscript
class Rouge::Lexers::Ada
class Rouge::Lexers::Apache
class Rouge::Lexers::Apex
class Rouge::Lexers::AppleScript
class Rouge::Lexers::ArmAsm
class Rouge::Lexers::Augeas
class Rouge::Lexers::Awk
class Rouge::Lexers::BBCBASIC
class Rouge::Lexers::BIML
class Rouge::Lexers::BPF
class Rouge::Lexers::Batchfile
class Rouge::Lexers::BibTeX
class Rouge::Lexers::Brainfuck
class Rouge::Lexers::Brightscript
class Rouge::Lexers::Bsl
class Rouge::Lexers::C
class Rouge::Lexers::CMHG
class Rouge::Lexers::CMake
class Rouge::Lexers::CSS
class Rouge::Lexers::CSVS
class Rouge::Lexers::CSharp
class Rouge::Lexers::CUDA
class Rouge::Lexers::Ceylon
class Rouge::Lexers::Cfscript
class Rouge::Lexers::CiscoIos
class Rouge::Lexers::Clean
class Rouge::Lexers::Clojure
class Rouge::Lexers::Coffeescript
class Rouge::Lexers::CommonLisp
class Rouge::Lexers::Conf
class Rouge::Lexers::ConsoleLexer
class Rouge::Lexers::Coq
class Rouge::Lexers::Cpp
class Rouge::Lexers::Crystal
class Rouge::Lexers::Cypher
class Rouge::Lexers::Cython
class Rouge::Lexers::D
class Rouge::Lexers::Dafny
class Rouge::Lexers::Dart
class Rouge::Lexers::Datastudio
class Rouge::Lexers::Diff
class Rouge::Lexers::Digdag
class Rouge::Lexers::Docker
class Rouge::Lexers::Dot
class Rouge::Lexers::ECL
class Rouge::Lexers::EEX
class Rouge::Lexers::EPP
class Rouge::Lexers::ERB
class Rouge::Lexers::Eiffel
class Rouge::Lexers::Elixir
class Rouge::Lexers::Elm
class Rouge::Lexers::Email
class Rouge::Lexers::Erlang
class Rouge::Lexers::Escape
class Rouge::Lexers::FSharp
class Rouge::Lexers::Factor
class Rouge::Lexers::Fluent
class Rouge::Lexers::Fortran
class Rouge::Lexers::FreeFEM
class Rouge::Lexers::GDScript
class Rouge::Lexers::GHCCmm
class Rouge::Lexers::GHCCore
class Rouge::Lexers::Gherkin
class Rouge::Lexers::Glsl
class Rouge::Lexers::Go
class Rouge::Lexers::Gradle
class Rouge::Lexers::GraphQL
class Rouge::Lexers::Groovy
class Rouge::Lexers::HLSL
class Rouge::Lexers::HOCON
class Rouge::Lexers::HQL
class Rouge::Lexers::HTML
class Rouge::Lexers::HTTP
class Rouge::Lexers::Hack
class Rouge::Lexers::Haml
class Rouge::Lexers::Handlebars
class Rouge::Lexers::Haskell
class Rouge::Lexers::Haxe
class Rouge::Lexers::Hcl
class Rouge::Lexers::HyLang
class Rouge::Lexers::IDLang
class Rouge::Lexers::INI
class Rouge::Lexers::IO
class Rouge::Lexers::IRBLexer
class Rouge::Lexers::IRBOutputLexer
class Rouge::Lexers::ISBL
class Rouge::Lexers::Idris
class Rouge::Lexers::IgorPro
class Rouge::Lexers::Isabelle
class Rouge::Lexers::J
class Rouge::Lexers::JSL
class Rouge::Lexers::JSON
class Rouge::Lexers::JSONDOC
class Rouge::Lexers::JSP
class Rouge::Lexers::JSX
class Rouge::Lexers::Janet
class Rouge::Lexers::Java
class Rouge::Lexers::Javascript
class Rouge::Lexers::Jinja
class Rouge::Lexers::Jsonnet
class Rouge::Lexers::Julia
class Rouge::Lexers::Kotlin
class Rouge::Lexers::LLVM
class Rouge::Lexers::Lasso
class Rouge::Lexers::Lean
class Rouge::Lexers::Liquid
class Rouge::Lexers::LiterateCoffeescript
class Rouge::Lexers::LiterateHaskell
class Rouge::Lexers::Livescript
class Rouge::Lexers::Lua
class Rouge::Lexers::Lustre
class Rouge::Lexers::Lutin
class Rouge::Lexers::M68k
class Rouge::Lexers::MXML
class Rouge::Lexers::Magik
class Rouge::Lexers::Make
class Rouge::Lexers::Markdown
class Rouge::Lexers::Mason
class Rouge::Lexers::Mathematica
class Rouge::Lexers::Matlab
class Rouge::Lexers::Meson
class Rouge::Lexers::Meson::StringRegister
class Rouge::Lexers::MiniZinc
class Rouge::Lexers::Moonscript
class Rouge::Lexers::Mosel
class Rouge::Lexers::MsgTrans
class Rouge::Lexers::Nasm
class Rouge::Lexers::NesAsm
class Rouge::Lexers::Nginx
class Rouge::Lexers::Nial
class Rouge::Lexers::Nim
class Rouge::Lexers::Nix
class Rouge::Lexers::OCL
class Rouge::Lexers::OCaml
class Rouge::Lexers::OCamlCommon
class Rouge::Lexers::ObjectiveC
class Rouge::Lexers::ObjectiveCpp
class Rouge::Lexers::OpenEdge
class Rouge::Lexers::OpenTypeFeatureFile
class Rouge::Lexers::PHP
class Rouge::Lexers::PLSQL
class Rouge::Lexers::Pascal
class Rouge::Lexers::Perl
class Rouge::Lexers::PlainText
class Rouge::Lexers::Plist
class Rouge::Lexers::Pony
class Rouge::Lexers::PostScript
class Rouge::Lexers::Powershell
class Rouge::Lexers::Praat
class Rouge::Lexers::Prolog
class Rouge::Lexers::Prometheus
class Rouge::Lexers::Properties
class Rouge::Lexers::Protobuf
class Rouge::Lexers::Puppet
class Rouge::Lexers::Python
class Rouge::Lexers::Python::StringRegister
class Rouge::Lexers::Q
class Rouge::Lexers::Qml
class Rouge::Lexers::R
class Rouge::Lexers::RML
class Rouge::Lexers::Racket
class Rouge::Lexers::ReScript
class Rouge::Lexers::ReasonML
class Rouge::Lexers::Rego
class Rouge::Lexers::RobotFramework
class Rouge::Lexers::Ruby
class Rouge::Lexers::Rust
class Rouge::Lexers::SAS
class Rouge::Lexers::SML
class Rouge::Lexers::SPARQL
class Rouge::Lexers::SQF
class Rouge::Lexers::SQL
class Rouge::Lexers::SSH
class Rouge::Lexers::Sass
class Rouge::Lexers::SassCommon
class Rouge::Lexers::Scala
class Rouge::Lexers::Scheme
class Rouge::Lexers::Scss
class Rouge::Lexers::Sed
class Rouge::Lexers::Sed::Regex
class Rouge::Lexers::Sed::Replacement
class Rouge::Lexers::Shell
class Rouge::Lexers::Sieve
class Rouge::Lexers::Slice
class Rouge::Lexers::Slim
class Rouge::Lexers::Smalltalk
class Rouge::Lexers::Smarty
class Rouge::Lexers::Stan
class Rouge::Lexers::Stata
class Rouge::Lexers::SuperCollider
class Rouge::Lexers::Swift
class Rouge::Lexers::SystemD
class Rouge::Lexers::Syzlang
class Rouge::Lexers::Syzprog
class Rouge::Lexers::TCL
class Rouge::Lexers::TOML
class Rouge::Lexers::TSX
class Rouge::Lexers::TTCN3
class Rouge::Lexers::Tap
class Rouge::Lexers::TeX
class Rouge::Lexers::Terraform
class Rouge::Lexers::Tulip
class Rouge::Lexers::Turtle
class Rouge::Lexers::Twig
class Rouge::Lexers::Typescript
class Rouge::Lexers::VHDL
class Rouge::Lexers::Vala
class Rouge::Lexers::Varnish
class Rouge::Lexers::Velocity
class Rouge::Lexers::Verilog
class Rouge::Lexers::VimL
class Rouge::Lexers::VisualBasic
class Rouge::Lexers::Vue
class Rouge::Lexers::Wollok
class Rouge::Lexers::XML
class Rouge::Lexers::XPath
class Rouge::Lexers::XQuery
class Rouge::Lexers::Xojo
class Rouge::Lexers::YAML
class Rouge::Lexers::YANG
class Rouge::Lexers::Zig
class Rouge::RegexLexer
class Rouge::RegexLexer::ClosedState
class Rouge::RegexLexer::InvalidRegex
class Rouge::RegexLexer::Rule
class Rouge::RegexLexer::State
class Rouge::RegexLexer::StateDSL
class Rouge::TemplateLexer
class Rouge::TexThemeRenderer
class Rouge::TextAnalyzer
class Rouge::Theme
class Rouge::Theme::Style
class Rouge::Themes::Base16
class Rouge::Themes::Base16::Monokai
class Rouge::Themes::Base16::Solarized
class Rouge::Themes::BlackWhiteTheme
class Rouge::Themes::Colorful
class Rouge::Themes::Github
class Rouge::Themes::Gruvbox
class Rouge::Themes::IgorPro
class Rouge::Themes::Magritte
class Rouge::Themes::Molokai
class Rouge::Themes::Monokai
class Rouge::Themes::MonokaiSublime
class Rouge::Themes::Pastie
class Rouge::Themes::ThankfulEyes
class Rouge::Themes::Tulip
class Rouge::Token
rouge
4.1.3
:: keyword_proof_goal
def self.keyword_proof_goal @keyword_proof_goal ||= Set.new %w(have hence interpret) end