package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val binder : ('a * ('b * 'c * 'd)) -> 'a * ('b * 'c * Var.Scope.t)

val fun_def : 
  (('a * ('b * 'c * 'd)) * 'e * 'f * 'g) ->
  ('a * ('b * 'c * Var.Scope.t)) * 'e * 'f * 'g

val binding : Ir.binding -> Ir.binding

val bindings : Ir.binding list -> Ir.binding list

val computation : (Ir.binding list * 'a) -> Ir.binding list * 'a

val program : Ir.program -> Ir.program