Diff2.SeqType
Input signature of Diff.Make.
Diff
type t
The type of the sequence.
type elem
The type of the elements of the sequence.
val get : t -> int -> elem
get t n returns n-th element of the sequence t.
get t n
n
t
val length : t -> int
length t returns the length of the sequence t.
length t