package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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 * 'a

val program : Ir.program -> Ir.program