データ型 - 部分型 - 包含部分型

包含部分型は、既存の部分型を組み合わせて、新たな部分型を定義します。

型の記法
  包含部分型 ::= INCLUDES 部分型


型の記法の例
  ProtoType ::= ENAMURATED {
    first-class(0), buisiness-class(1), coach-class(2), economy-class(3)
  }
  SubType ::= ProtoType ( coach-class | economy-class )
  OtherType ::= ProtoType ( INCLUDES SubType | business-class )