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