Documentation

x0 :: [[Char]] Source #

n0 :: Int Source #

k0 :: Integer Source #

c0 :: Int Source #

b0 :: [Bool] Source #

s0 :: [[Char]] Source #

n1 :: Integer Source #

k1 :: Integer Source #

c1 :: Int Source #

b1 :: [Bool] Source #

s1 :: [Integer] Source #