PersistentBranchingModule

Companion:
class
class Object
trait Matchable
class Any

Type members

Types

type Aux[Var0[_[_], _], Val0[_[_], _], Lang0[_[_], _], State0[_[_]]] = Aux[Var0, Val0, Lang0, State0] & PersistentBranchingModule
type Aux0[Var0[_[_], _], Val0[_[_], _]] = PersistentBranchingModule { type VarK = [K[_], A] =>> Var0[K, A]; type ValK = [K[_], A] =>> Val0[K, A]; }

Value members

Concrete methods

def instance[Var0[_[_], _], Val0[_[_], _]]: PersistentBranchingModule { type VarK = [K[_], A] =>> Var0[K, A]; type ValK = [K[_], A] =>> Val0[K, A]; }