LambdaCube.SystemFw_.TypeChecker
reduceType :: LCType -> LCType Source #
infer :: LCTerm -> LCType Source #
inferKind :: LCType -> LCKind Source #