Language.CSPM.AST

type AstAnnotation x

type Bindings

type FreeNames

data NodeId

mkNodeId

data Labeled t

labeled

setNode

type LIdent

data Ident

unUIdent

identId

data UniqueIdent

data IDType

data PrologMode

data BindType

isLetBound

data Module a

data FromParser

castModule

type ModuleFromParser

type LExp

type LProc

data Exp

type LRange

data Range

type LCommField

data CommField

type LLinkList

data LinkList

type LLink

data Link

type LRename

data Rename

type LBuiltIn

data BuiltIn

lBuiltInToConst

type LCompGenList

type LCompGen

data CompGen

type LPattern

data Pattern

data Selector

type LDecl

data Decl

type FunArgs

data FunCase

type LTypeDef

data TypeDef

type LConstructor

data Constructor

withLabel

type LAssertDecl

data AssertDecl

type LFDRModels

data FDRModels

type LFdrExt

data FdrExt

type LTauRefineOp

data TauRefineOp

type LRefineOp

data RefineOp

data Const

type Pragma

type LocComment

data Comment