PersistentRelModule

Companion:
class
class Object
trait Matchable
class Any

Type members

Types

type Aux[Lang0[_[_], _], State0[_[_]]] = PersistentRelModule { type Lang = [K[_], A] =>> Lang0[K, A]; type StateK = [K[_]] =>> State0[K]; }