// package def_spec_base -- базовые типы фреймворка package def_spec_base // Num -- алиас для int. type Num int // Txt -- алиас для внутренней строки. type Txt string // TxtConstraint -- разрешает строки и любые типы на его основе (например, ATxt). type TxtConstraint interface { ~string } // Bool -- внутренее представление логического значения. type Bool bool // Time -- внутренее представление времени. type Time Txt // NumConstraint -- ограничение внутреннего целого. type NumConstraint interface { ~int } // BoolConstraint -- ограничение внутреннего логического значения. type BoolConstraint interface { ~bool }