DeBruijn

scalus.uplc.DeBruijn$
object DeBruijn

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
DeBruijn.type

Members list

Value members

Concrete methods

def deBruijnTerm(term: Term, env: List[String]): Term
def fromDeBruijnTerm(term: Term): Term