links

The Links Programming Language
IN THIS PACKAGE
val is : string -> bool
val gen : (string * string * string) -> string
val sql_name : string -> string