Module Tools

module Tools: sig .. end

Useful sequential functions

val natmod : int -> int -> int

Modulo

val from_to : int -> int -> int list

from_to n1 n2 = [n1;n1+1;...;n2]

val filtermap : ('a -> bool) -> ('a -> 'b) -> 'a list -> 'b list

filtermap p f l applies f to each element of l which satifies the predicate p

val compose : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b

Function composition.

val id : 'a -> 'a

Identity function

val is_empty : 'a -> bool

Tests whether a value is considered as an empty message.