links

The Links Programming Language
IN THIS PACKAGE
val binder : Var.binder -> Var.binder
val fun_def : Ir.fun_def -> Ir.fun_def
val binding : Ir.binding -> Ir.binding
val bindings : Ir.binding list -> Ir.binding list
val computation : (Ir.binding list * 'a) -> Ir.binding list * 'b
val program : Ir.program -> Ir.program