Commit 89393ef9 authored by Frédéric Bour's avatar Frédéric Bour
Browse files

Indexing: Empty vector has empty domain

parent c731e956
......@@ -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