Commit 4a6dd81e authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

library: renamed array.ArraySorted -> array.Sorted

(to be consistent with list.Sorted)
parent 9f5a633e
......@@ -17,7 +17,7 @@ module Elt
clone relations.TotalPreOrder with type t = elt, predicate rel = le
clone export array.ArraySorted with type elt = elt, predicate le = le
clone export array.Sorted with type elt = elt, predicate le = le
......@@ -128,7 +128,7 @@ module IntArraySorted
module ArraySorted
module Sorted
use import int.Int
use import Array
Markdown is supported
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