Documentation

type PLCKind = Kind Ann Source #

type PLCType uni = Type TyName uni Ann Source #

type PLCTerm uni fun = Term TyName Name uni fun Ann Source #

type PLCProgram uni fun = Program TyName Name uni fun () Source #

type PLCVar uni = VarDecl TyName Name uni Ann Source #

type PLCTyVar = TyVarDecl TyName Ann Source #

type UPLCProgram uni fun = Program NamedDeBruijn uni fun SrcSpans Source #

type UPLCTerm uni fun = Term NamedDeBruijn uni fun SrcSpans Source #