links

The Links Programming Language
IN THIS PACKAGE
val serialise : Value.t -> serialised_t
val deserialise : serialised_t -> Value.t