function composition : f $ g is equivalent to (fun x -> f (g x))

2-function composition : f $$ g is equivalent to (fun x y -> f (g x) (g y))

identity

idem

reverse arguments, flip f x y is equivalent to f y x

map over 2-tuple

some x is equivalent to Some x

• returns

  function returning given value

• returns

  curried version from function of tuple

• returns

  function of tuple from curried function

Lazy.force

printf to stdout with newline

printf to stderr with newline

abstract type generator

atoi name value

• returns

  integer of string value

• raises Failure

  if value is not an integer (with name and value in exception message)