Symbol

Haskell symbol, e.g. >>, :%
(Kind) This is the kind of type-level symbols.
varsym or consym
Utilities for working with KnownSymbol constraints.

Symbols

Type-level strings. Note that the operators from this module conflict with GHC.TypeLits. Symbol also has instances of (<>) and MEmpty.
(Kind) This is the kind of type-level symbols.
Symbols like forall, =, ->, etc.
Identifies the type of symbol used with the Point mark type. It is used with MShape, LeSymbolType, and LSymbolType. In version 0.4.0.0 all constructors were changed to start with Sym.
An SMT symbol
This defines a datatype for representing identifiers that can be used with Crucible. These must start with an ASCII letter and can consist of any characters in the set [a-z A-Z '0-9' '_'] as long as the result is not an SMTLIB or Yices keyword.
Define the `<symbol>` tag, equivalent to a named group.