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

val free_vars : Links_core.Utility.IntSet.t

val bound_vars : Links_core.Utility.IntSet.t

method bound : Links_core.Utility.IntSet.elt -> 'b

method free : Links_core.Utility.IntSet.elt -> 'b

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

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

method get_free_vars : Links_core.Utility.IntSet.t