Symbol
Haskell symbol, e.g. >>, :%
(Kind) This is the kind of type-level symbols.
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.
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.