package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

inherit Links_core.IrTraversals.Transform.visitor

method bind_scope : Links_core.Var.binder -> unit

method bind_cont : (Links_core.Ir.binder
                    * (Links_core.Ir.binding list
                       * Links_core.Ir.tail_computation)) ->
  unit

method binder : Links_core.Ir.binder -> 'b * Links_core.Ir.binder

method computation : Links_core.Ir.computation ->
  'b * Links_core.Ir.computation * Links_core.Types.datatype