links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Var . Scope
type t =
| Local
| Global
val is_global : t -> bool
val is_local : t -> bool