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 : 
  (Var.binder * 'a * 'b * 'c * 'd) ->
  Var.binder * 'a * 'b * 'c * 'd

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