|
@@ -20,7 +20,7 @@ type const =
|
|
|
| FloatVal of float
|
|
| FloatVal of float
|
|
|
|
|
|
|
|
(** Data types supported by CiviC. [ArrayDims] defines an array type with a set
|
|
(** Data types supported by CiviC. [ArrayDims] defines an array type with a set
|
|
|
- o dimensions. {!Dimreduce} replaces this multi-dimensional type with an
|
|
|
|
|
|
|
+ of dimensions. {!Dimreduce} replaces this multi-dimensional type with an
|
|
|
[Array] type, which signifies a one-dimensional array of a certain basic
|
|
[Array] type, which signifies a one-dimensional array of a certain basic
|
|
|
type. *)
|
|
type. *)
|
|
|
type ctype =
|
|
type ctype =
|
Taddeus Kroes