Documentation

step :: (Memory a a m, Num a, Ord a, Integral a, BitReversable a) => Machine a a m Bool Source

initialMachine :: (Memory a a m, Num a, Ord a, Enum a) => SubleqState a w m Source

class BitReversable a where Source