links

The Links Programming Language
IN THIS PACKAGE
type t =
| Minus
| FloatMinus
| Name of CommonTypes.Name.t
val to_string : t -> CommonTypes.Name.t