Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/type_predef.mli | ||
---|---|---|
30 | 30 |
val type_bin_comp_op: Types.t |
31 | 31 |
val type_unary_bool_op: Types.t |
32 | 32 |
val type_tuple: Types.t list -> Types.t |
33 |
val type_arrow: Types.t -> Types.t -> Types.t |
|
34 |
val type_array: Dimension.t -> Types.t -> Types.t |
Also available in: Unified diff
another step towards refactoring