links

The Links Programming Language
IN THIS PACKAGE
val save : Value.t -> s
val load : ?globals:Value.t Value.Env.t -> s -> Value.t