Val | Language.PiSigma.Syntax |
Var | Language.PiSigma.Syntax |
VBox | Language.PiSigma.Syntax |
vcat | Language.PiSigma.Pretty |
VEnum | Language.PiSigma.Syntax |
VFold | Language.PiSigma.Syntax |
VLabel | Language.PiSigma.Syntax |
VLam | Language.PiSigma.Syntax |
VLift | Language.PiSigma.Syntax |
VPair | Language.PiSigma.Syntax |
VQ | Language.PiSigma.Syntax |
VRec | Language.PiSigma.Syntax |
vsep | Language.PiSigma.Pretty |
VType | Language.PiSigma.Syntax |