Anonymous avatar Anonymous committed 57a20c8

.

Comments (0)

Files changed (2)

 
     value dump ~t arr =
       arr
-      |> map_to_list (show ~t)
+      |> map_to_list (show t)
       |> String.concat " ; "
       |> sprintf "[| %s |]"
     ;
 (***************************************************************)
 
 value opt_cmp
- : !'a . ~t:(#t 'a) -> 'a -> 'a -> cmp_res
- = fun ~t -> t#topt#cmp
+ : !'a . (#t 'a) -> 'a -> 'a -> cmp_res
+ = fun t -> t#topt#cmp
 ;
 
 value opt_eq
- : !'a . ~t:(#t 'a) -> 'a -> 'a -> bool
- = fun ~t -> t#topt#eq
+ : !'a . (#t 'a) -> 'a -> 'a -> bool
+ = fun t -> t#topt#eq
 ;
 
 value opt_hash
- : !'a . ~t:(#t 'a) -> 'a -> int
- = fun ~t -> t#topt#hash
+ : !'a . (#t 'a) -> 'a -> int
+ = fun t -> t#topt#hash
+;
+
+value cmp
+ : !'a . (#tcmp 'a) -> 'a -> 'a -> cmp_res
+ = fun t -> t#cmp
+;
+
+value eq
+ : !'a . (#teq 'a) -> 'a -> 'a -> bool
+ = fun t -> t#eq
+;
+
+value hash
+ : !'a . (#thash 'a) -> 'a -> int
+ = fun t -> t#hash
 ;
 
 value show
- : !'a . ~t:(#t 'a) -> 'a -> string
- = fun ~t -> t#topt#show
+ : !'a . (#t 'a) -> 'a -> string
+ = fun t -> t#topt#show
 ;
 
 
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.