links

The Links Programming Language
IN THIS PACKAGE
val affected_channels : Value.env -> Ir.computation list -> Value.t list
val variables_in_computation : Ir.computation -> Var.var list