stdlib.mli

(* Following type definition for lists hardcoded into OCaml/generator:
type 'a list =
| []
| :: [@f head, tail] of 'a * 'a list
*)

val add : 'a -> 'b -> 'c
val ( + ) : 'a -> 'b -> 'c
val sub : 'a -> 'a -> 'a
val ( - ) : 'a -> 'a -> 'a
val mul : 'a -> 'a -> 'a
val ( * ) : 'a -> 'a -> 'a
val div : 'a -> 'a -> 'a
val ( / ) : 'a -> 'a -> 'a
                 
val eq : 'a -> 'a -> bool
val ( === ) : 'a -> 'a -> bool
val le : 'a -> 'a -> bool
val ( < ) : 'a -> 'a -> bool
val ge : 'a -> 'a -> bool
val ( > ) : 'a -> 'a -> bool

val leq : 'a -> 'a -> bool
val ( <= ) : 'a -> 'a -> bool 
val geq : 'a -> 'a -> bool
val ( >= ) : 'a -> 'a -> bool

val print : 'a -> unit

val stuck : string -> 'a 
val to_string : 'a -> string
val parse : 'a -> 'b