links

The Links Programming Language
IN THIS PACKAGE
type 'v t
val make : env:'v Env.t -> return:(Ir.binder * Ir.computation) -> clauses:Ir.effect_case Ir.name_map -> depth:[ `Deep of Ir.var list | `Shallow ] -> 'v t