ADP.Fusion.Base.Multi

Multi-dimensional extension

data M

data TermSymbol a b

type family TermArg x :: *

class TermStaticVar t i

class TableStaticVar u c i

data TermState s i e

class TermStream m t s i

addTermStream1

data Term1 s

elmTerm1

type TmkCtx1 m ls t i

type TstCtx m ts s x0 sixty is i

type PRI is i