module PlutusTx.PIRTypes where import PlutusCore.Annotation import PlutusIR qualified as PIR type PIRKind = PIR.Kind Ann type PIRType uni = PIR.Type PIR.TyName uni Ann type PIRTerm uni fun = PIR.Term PIR.TyName PIR.Name uni fun Ann type PIRProgram uni fun = PIR.Program PIR.TyName PIR.Name uni fun SrcSpans type PIRBinding uni fun = PIR.Binding PIR.TyName PIR.Name uni fun Ann type PIRVar uni = PIR.VarDecl PIR.TyName PIR.Name uni Ann type PIRTyVar = PIR.TyVarDecl PIR.TyName Ann