ocamltoplevel
Make.EVP
bigarray
dynlink
graphics
ocamlbytecomp
ocamlcommon
ocamloptcomp
odoc_info
raw_spacetime_lib
stdlib
str
threads
unix
type valu = O.t
val eval_address : Env.address -> valu
exception Error
val same_value : valu -> valu -> bool