Skip to content
Snippets Groups Projects
Commit d72bbae3 authored by Paul Iannetta's avatar Paul Iannetta Committed by Thomas Wood
Browse files

Modifications to the standard library.

parent 8476bfd9
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
generator/stdlib_ml/stdlib.mli
+ 5
− 5
View file @ d72bbae3
...@@ -8,16 +8,16 @@ val div : 'a -> 'a -> 'a ...@@ -8,16 +8,16 @@ val div : 'a -> 'a -> 'a
val ( / ) : 'a -> 'a -> 'a val ( / ) : 'a -> 'a -> 'a
val eq : 'a -> 'a -> bool val eq : 'a -> 'a -> bool
val ( === ) : 'a -> 'a -> 'a val ( === ) : 'a -> 'a -> bool
val le : 'a -> 'a -> bool val le : 'a -> 'a -> bool
val ( < ) : 'a -> 'a -> 'a val ( < ) : 'a -> 'a -> bool
val ge : 'a -> 'a -> bool val ge : 'a -> 'a -> bool
val ( > ) : 'a -> 'a -> 'a val ( > ) : 'a -> 'a -> bool
val leq : 'a -> 'a -> bool val leq : 'a -> 'a -> bool
val ( <= ) : 'a -> 'a -> 'a val ( <= ) : 'a -> 'a -> bool
val geq : 'a -> 'a -> bool val geq : 'a -> 'a -> bool
val ( >= ) : 'a -> 'a -> 'a val ( >= ) : 'a -> 'a -> bool
val print : 'a -> unit val print : 'a -> unit
......
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