Merge branch 'devel' into araq-misc

This commit is contained in:
Andreas Rumpf 2018-08-10 12:06:16 +02:00
commit 404de2f23e
13 changed files with 193 additions and 17 deletions

View file

@ -1611,7 +1611,8 @@ A ``distinct`` type is new type derived from a `base type`:idx: that is
incompatible with its base type. In particular, it is an essential property
of a distinct type that it **does not** imply a subtype relation between it
and its base type. Explicit type conversions from a distinct type to its
base type and vice versa are allowed.
base type and vice versa are allowed. See also ``distinctBase`` to get the
reverse operation.
Modelling currencies