Redirecting to
../../Virtual_machine/type.Environment_pointer_type.html
...