PlutusTx.PIRTypes
type PIRKind = Kind Ann Source #
type PIRType uni = Type TyName uni Ann Source #
type PIRTerm uni fun = Term TyName Name uni fun Ann Source #
type PIRProgram uni fun = Program TyName Name uni fun SrcSpans Source #
type PIRBinding uni fun = Binding TyName Name uni fun Ann Source #
type PIRVar uni = VarDecl TyName Name uni Ann Source #
type PIRTyVar = TyVarDecl TyName Ann Source #