Lines Matching refs:extended
60 In addition, there is now an experimental extended implementation of {\chrs}.
61 This extended implementation is faster than the existing {\tt chr} library,
899 A new, extended, {\tt chr} library has been developed, with the intention of providing
912 \item The extended library produces code that generally runs about twice as fast
916 compile command will now recognise and compile \chr\ code when the extended
937 \subsection{Invoking the extended CHR library}
939 The extended library is invoked by \verb'lib(ech)'. Given that it is now
979 After loading the extended {\tt chr} library, programs containing \chr\ code can
986 In the extended library, \chr\ code can occur anywhere in a particular module, and
1018 In the extended {\tt chr} library, all head constraints
1038 Unfortunately this rule is not sufficiently specified in the extended
1045 the new constraint is imposed. With the extended \chr, the old constraint
1149 the old {\tt chr} library are supported. Note that the extended compiler can