balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Utils: add Compare.Z

Browse Source
This commit is contained in:
Benjamin Canou 2018-03-28 20:23:30 +02:00
parent a3474ae496
commit 636fecb6ff
3 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/lib_protocol_environment/sigs/v1/compare.mli
View File

@ -37,6 +37,7 @@ module Int64 : S with type t = int64
module Uint64 : S with type t = int64
module Float : S with type t = float
module String : S with type t = string
module Z : S with type t = Z.t
module List (P : COMPARABLE) : S with type t = P.t list
module Option (P : COMPARABLE) : S with type t = P.t option

2
src/lib_stdlib/compare.ml
View File

@ -115,3 +115,5 @@ module Uint64 = MakeUnsigned (Int64) (struct let zero = 0L end)
module Float = Make (struct type t = float let compare = Pervasives.compare end)
module String = Make (String)
module Z = Make (Z)

1
src/lib_stdlib/compare.mli
View File

@ -37,6 +37,7 @@ module Int64 : S with type t = int64
module Uint64 : S with type t = int64
module Float : S with type t = float
module String : S with type t = string
module Z : S with type t = Z.t
module List (P : COMPARABLE) : S with type t = P.t list
module Option (P : COMPARABLE) : S with type t = P.t option