Commit 39a20670 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Merge branch 'master' into 'master'

Indexing: Empty vector has empty domain

See merge request !3
parents c731e956 89393ef9
......@@ -180,7 +180,7 @@ module Vector : sig
val set_cons : ('n, 'a list) t -> 'n index -> 'a -> unit
(**{!empty} is the empty vector. *)
val empty : (_, _) t
val empty : (Empty.n, _) t
(**{!make} is analogous to [Array.make]. Invoking [make n x] fixes the
cardinal [n]. *)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment