Documentation ¶
Overview ¶
Package index provides support for abstract integral index to pal.
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
This section is empty.
Types ¶
type T ¶
type T interface { // replace with go/constant. Zero() I One() I // replace with go/constant? ToInt64(v I) (i int64, ok bool) FromInt64(i int64) I IsVar(v I) bool Var() I Plus(a, b I) I Times(a, b I) I Div(a, b I) (I, xtruth.T) Rem(a, b I) (I, xtruth.T) Band(a, b I) I Bnot(a I) I Lshift(a, s I) (I, xtruth.T) Rshift(a, s I) (I, xtruth.T) Equal(a, b I) xtruth.T Less(a, b I) xtruth.T plain.Coder }
Click to show internal directories.
Click to hide internal directories.