links

The Links Programming Language
IN THIS PACKAGE
val current : Types.datatype Utility.StringMap.t -> ((Ir.var * string) * Q.t option * Q.t) -> string -> string -> Sql.query
val nonsequenced : ((Ir.var * string) * Q.t option * Q.t * Q.t option * Q.t option) -> string -> string -> Sql.query
val sequenced : Types.datatype Utility.StringMap.t -> ((Ir.var * string) * Q.t option * Q.t * Q.t * Q.t) -> string -> string -> Sql.query