类型

类型型

描述

源码位置类型。包含文件路径和源码区间。

定义

(定义结构 源码位置型
  (路径 文本型)
  (区间 源码区间型))

自动生成

(声明 作源码位置 (-> 文本型 源码区间型 源码位置型))
(声明 为源码位置     (-> 源码位置型 真假型))
(声明 源码位置路径 (-> 源码位置型 文本型))
(声明 源码位置区间 (-> 源码位置型 源码区间型))