Eliom_wrap.server(3o) on Linux

The text a51cbdd74b6d, as Debian 7 (Wheezy) shipped it.

'a wrapper is the type of values to include into a value of type 'a for it to be wraped specificaly