Language.Why3.Lens

exprPlate

_App

_Let

_If

_Match

_Conn

_Not

_Quant

_Field

_Record

_RecordUpdate

_Cast

_Labeled

_And

_AsymAnd

_Or

_AsymOr

_Implies

_Iff

_Goal

_Use

_Axiom

_Lemma

_Type

_TypeDef

_Predicate

_PredicateDef

_Function

_FunctionDef

_Import

_Export

_Integer

_Real

_Bool

_PWild

_PVar

_PCon

_Forall

_Exists

theoryName

theoryDecls

tyCaseAltName

tyCaseAltLabels

tyCaseAltTyParams

_TyCon

_TyVar

_Tuple

_TyRecord

_Ty

_TyCase