LambdaCube.SystemFw_.Parser
pTopTerm :: Parser ExtLCTerm Source #
pTopType :: Parser ExtLCType Source #
pTopKind :: Parser ExtLCKind Source #