.TH "Eliom_wrap" 3o 2014-07-10 OCamldoc ""
.SH NAME
Eliom_wrap \- 'a wrapper is the type of values to include into a value of type 'a for it to be wraped specificaly
.SH Module
Module   Eliom_wrap
.SH Documentation
.sp
Module
.BI "Eliom_wrap"
 : 
.B sig  end

.sp

.B \&'a wrapper
is the type of values to include into a value of type \&'a for
it to be wraped specificaly
.sp

.sp

.sp
.sp
.I type 
.B 'a
.I wrapped_value 

.sp

.sp
.I type 
.B +'a
.I wrapper 

.sp

.B \&'a wrapper
is the type of values to include into a value of type \&'a for
it to be wraped specificaly
.sp

.sp

.I val create_wrapper 
: 
.B ('a -> 'b) -> 'a wrapper
.sp

.B create f
create a new tag that can be included into a value\&.  if
.B wrap
is called on a father of a value 
.B v
containing a tag, the
value 
.B v
will be replaced by 
.B f v
before marshaling\&.
.sp

.sp

.I val wrap 
: 
.B 'a -> 'a wrapped_value
.sp
marshal a value, taking into account the tags\&.
.sp

.sp

.I val empty_wrapper 
: 
.B 'a wrapper
.sp
a wrapper that do not change the value
.sp

.sp
.I type unwrap_id 

.sp
unwrap *
.sp

.sp
.I type unwrapper 

.sp

.sp

.I val create_unwrapper 
: 
.B unwrap_id -> unwrapper
.sp

.sp

.I val empty_unwrapper 
: 
.B unwrapper
.sp

.sp

.I val id_of_int 
: 
.B int -> unwrap_id
.sp

.sp