类型

类型型

描述

源码区间类型。包含起始和结束坐标。

定义

(定义结构 源码区间型
  (起始 源码坐标型)
  (结束 源码坐标型))

自动生成

(声明 作源码区间 (-> 源码坐标型 源码坐标型 源码区间型))
(声明 为源码区间     (-> 源码区间型 真假型))
(声明 源码区间起始 (-> 源码区间型 源码坐标型))
(声明 源码区间结束 (-> 源码区间型 源码坐标型))