Uses of Class
fmrisc.Syntax.DeclarationBase

Packages that use DeclarationBase

fmrisc.Syntax

Uses of DeclarationBase in fmrisc.Syntax

Subclasses of DeclarationBase in fmrisc.Syntax

class	AxiomDeclaration Handling of type declarations.
class	FormulaDeclaration Handling of type declarations.
class	TypeDeclaration Handling of type declarations.
class	ValueDeclaration Handling of value declarations.