Module SafeUnmarshal

module SafeUnmarshal: sig .. end

Fonctions de désérialisation sûre.

exception Fail

L'exception qui est produite par une fonction de désérialisation lorsque la valeur à désérialiser est incompatible avec le type attendu.

val from_string : 'a tyrepr -> string -> int -> 'a

...

val from_channel : 'a tyrepr -> Pervasives.in_channel -> 'a

...

val copy : 'a tyrepr -> 'b -> 'a

...

val check : 'a -> 'b tyrepr -> bool