Documentation

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 #