package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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