val (--) : int -> int -> int tval (--^) : int -> int -> int tval (--.) : (float * float) -> float -> float tval (---) : int -> int -> int tval (--~) : char -> char -> char tval (//) : 'a t -> ('a -> bool) -> 'a tval (/@) : 'a t -> ('a -> 'b) -> 'b tval (@/) : ('a -> 'b) -> 'a t -> 'b tval (//@) : 'a t -> ('a -> 'b option) -> 'b tval (@//) : ('a -> 'b option) -> 'a t -> 'b t