Open siefkenj opened 2 years ago
In table 4, an ext expr is defined as
ext expr
→ ⟨core model⟩,⟨div⟩:⟨expr⟩1 ,⟨dec⟩1 ;⟨expr⟩2 ,⟨dec⟩2 ;...;⟨expr⟩k ,⟨dec⟩k → ⟨core model⟩:⟨expr⟩1 ,⟨dec⟩1 ;⟨expr⟩2 ,⟨dec⟩2 ;...;⟨expr⟩k ,⟨dec⟩k
but the description on page 16 of the documentation says that an ext expr ends in ⟨expr⟩k !⟨dec⟩k. Is this a typo in the documentation where ! should actually be ,, or is there something else going on?
⟨expr⟩k !⟨dec⟩k
!
,
In table 4, an
ext expr
is defined asbut the description on page 16 of the documentation says that an
ext expr
ends in⟨expr⟩k !⟨dec⟩k
. Is this a typo in the documentation where!
should actually be,
, or is there something else going on?