FStarLang/FStar

local open in patterns

Open

#1,013 创建于 2017年4月26日

在 GitHub 查看
 (0 评论) (0 反应) (0 负责人)F* (258 fork)auto 404
area/syntaxgood first issuekind/enhancement

仓库指标

Star
 (3,068 star)
PR 合并指标
 (PR 指标待抓取)

描述

We currently can locally open a module for a subterm with the syntax Module.( ... ). It would be nice to have the same thing for patterns.

贡献者指南