Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

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