Module Eliom_unwrapSource

Sourcetype unwrap_id

Values of type unwrap_id are used to identify a specific unwrapper.

Sourceval id_of_int : int -> unwrap_id

unwrap_js v unwraps the content of the JavaScript variable v