LambdaCube.SystemF.Parser
pTopTerm :: Parser ExtLCTerm Source #
pTopType :: Parser ExtLCType Source #