Language.Sally.Types

Name type

data Name

textFromName

nameFromT

nameFromS

catNamesWith

bangNames

scoreNames

nextName

stateName

inputName

varFromName

Base types

data SallyBaseType

data SallyConst

Types for defining transition systems

data SallyState

data SallyPred

data SallyVar

data SallyArith

data SallyExpr

class ToSallyExpr a

data SallyStateFormula

type SallyLet

data SallyTransition

data SallySystem

data SallyQuery

mkSallyQuery

data TrResult