Language.Why3.AST

type Name

data Theory

data Decl

data TypeDef

data TyCaseAlt

data ImpExp

data Literal

data Expr

data Quant

data Conn

data Pattern

data Type