iter_literal.ml

let f_000_0000 fl bit_index : unit =
  (* uniform *)
  assert false

let f_100_0000 fl bit_index =
  fl ~bit_index:( bit_index     )

let f_010_0000 fl bit_index =
  fl ~bit_index:( bit_index + 1 )

let f_110_0000 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 )

let f_001_0000 fl bit_index =
  fl ~bit_index:( bit_index + 2 )

let f_101_0000 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 2 )

let f_011_0000 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 )

let f_111_0000 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 )

let f_000_1000 fl bit_index =
  fl ~bit_index:( bit_index + 3 )

let f_100_1000 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 3 )

let f_010_1000 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 3 )

let f_110_1000 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 3 )

let f_001_1000 fl bit_index =
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 )

let f_101_1000 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 )

let f_011_1000 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 )

let f_111_1000 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 )

let f_000_0100 fl bit_index =
  fl ~bit_index:( bit_index + 4 )

let f_100_0100 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 4 )

let f_010_0100 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 4 )

let f_110_0100 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 4 )

let f_001_0100 fl bit_index =
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 4 )

let f_101_0100 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 4 )

let f_011_0100 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 4 )

let f_111_0100 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 4 )

let f_000_1100 fl bit_index =
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 )

let f_100_1100 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 )

let f_010_1100 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 )

let f_110_1100 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 )

let f_001_1100 fl bit_index =
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 )

let f_101_1100 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 )

let f_011_1100 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 )

let f_111_1100 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 )

let f_000_0010 fl bit_index =
  fl ~bit_index:( bit_index + 5 )

let f_100_0010 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 5 )

let f_010_0010 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 5 )

let f_110_0010 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 5 )

let f_001_0010 fl bit_index =
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 5 )

let f_101_0010 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 5 )

let f_011_0010 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 5 )

let f_111_0010 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 5 )

let f_000_1010 fl bit_index =
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 5 )

let f_100_1010 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 5 )

let f_010_1010 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 5 )

let f_110_1010 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 5 )

let f_001_1010 fl bit_index =
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 5 )

let f_101_1010 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 5 )

let f_011_1010 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 5 )

let f_111_1010 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 5 )

let f_000_0110 fl bit_index =
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 )

let f_100_0110 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 )

let f_010_0110 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 )

let f_110_0110 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 )

let f_001_0110 fl bit_index =
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 )

let f_101_0110 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 )

let f_011_0110 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 )

let f_111_0110 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 )

let f_000_1110 fl bit_index =
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 )

let f_100_1110 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 )

let f_010_1110 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 )

let f_110_1110 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 )

let f_001_1110 fl bit_index =
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 )

let f_101_1110 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 )

let f_011_1110 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 )

let f_111_1110 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 )

let f_000_0001 fl bit_index =
  fl ~bit_index:( bit_index + 6 )

let f_100_0001 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 6 )

let f_010_0001 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 6 )

let f_110_0001 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 6 )

let f_001_0001 fl bit_index =
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 6 )

let f_101_0001 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 6 )

let f_011_0001 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 6 )

let f_111_0001 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 6 )

let f_000_1001 fl bit_index =
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 6 )

let f_100_1001 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 6 )

let f_010_1001 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 6 )

let f_110_1001 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 6 )

let f_001_1001 fl bit_index =
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 6 )

let f_101_1001 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 6 )

let f_011_1001 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 6 )

let f_111_1001 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 6 )

let f_000_0101 fl bit_index =
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 6 )

let f_100_0101 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 6 )

let f_010_0101 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 6 )

let f_110_0101 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 6 )

let f_001_0101 fl bit_index =
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 6 )

let f_101_0101 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 6 )

let f_011_0101 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 6 )

let f_111_0101 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 6 )

let f_000_1101 fl bit_index =
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 6 )

let f_100_1101 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 6 )

let f_010_1101 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 6 )

let f_110_1101 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 6 )

let f_001_1101 fl bit_index =
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 6 )

let f_101_1101 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 6 )

let f_011_1101 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 6 )

let f_111_1101 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 6 )

let f_000_0011 fl bit_index =
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_100_0011 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_010_0011 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_110_0011 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_001_0011 fl bit_index =
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_101_0011 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_011_0011 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_111_0011 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_000_1011 fl bit_index =
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_100_1011 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_010_1011 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_110_1011 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_001_1011 fl bit_index =
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_101_1011 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_011_1011 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_111_1011 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_000_0111 fl bit_index =
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_100_0111 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_010_0111 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_110_0111 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_001_0111 fl bit_index =
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_101_0111 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_011_0111 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_111_0111 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_000_1111 fl bit_index =
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_100_1111 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_010_1111 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_110_1111 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_001_1111 fl bit_index =
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_101_1111 fl bit_index =
  fl ~bit_index:( bit_index     );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_011_1111 fl bit_index =
  fl ~bit_index:( bit_index + 1 );
  fl ~bit_index:( bit_index + 2 );
  fl ~bit_index:( bit_index + 3 );
  fl ~bit_index:( bit_index + 4 );
  fl ~bit_index:( bit_index + 5 );
  fl ~bit_index:( bit_index + 6 )

let f_111_1111 fl bit_index =
  (* uniform *)
  assert false

let fa =
  let fa = Array.make 128 f_000_0000 in
  fa.(0b000_0000) <- f_000_0000;
  fa.(0b100_0000) <- f_100_0000;
  fa.(0b010_0000) <- f_010_0000;
  fa.(0b110_0000) <- f_110_0000;
  fa.(0b001_0000) <- f_001_0000;
  fa.(0b101_0000) <- f_101_0000;
  fa.(0b011_0000) <- f_011_0000;
  fa.(0b111_0000) <- f_111_0000;
  fa.(0b000_1000) <- f_000_1000;
  fa.(0b100_1000) <- f_100_1000;
  fa.(0b010_1000) <- f_010_1000;
  fa.(0b110_1000) <- f_110_1000;
  fa.(0b001_1000) <- f_001_1000;
  fa.(0b101_1000) <- f_101_1000;
  fa.(0b011_1000) <- f_011_1000;
  fa.(0b111_1000) <- f_111_1000;
  fa.(0b000_0100) <- f_000_0100;
  fa.(0b100_0100) <- f_100_0100;
  fa.(0b010_0100) <- f_010_0100;
  fa.(0b110_0100) <- f_110_0100;
  fa.(0b001_0100) <- f_001_0100;
  fa.(0b101_0100) <- f_101_0100;
  fa.(0b011_0100) <- f_011_0100;
  fa.(0b111_0100) <- f_111_0100;
  fa.(0b000_1100) <- f_000_1100;
  fa.(0b100_1100) <- f_100_1100;
  fa.(0b010_1100) <- f_010_1100;
  fa.(0b110_1100) <- f_110_1100;
  fa.(0b001_1100) <- f_001_1100;
  fa.(0b101_1100) <- f_101_1100;
  fa.(0b011_1100) <- f_011_1100;
  fa.(0b111_1100) <- f_111_1100;
  fa.(0b000_0010) <- f_000_0010;
  fa.(0b100_0010) <- f_100_0010;
  fa.(0b010_0010) <- f_010_0010;
  fa.(0b110_0010) <- f_110_0010;
  fa.(0b001_0010) <- f_001_0010;
  fa.(0b101_0010) <- f_101_0010;
  fa.(0b011_0010) <- f_011_0010;
  fa.(0b111_0010) <- f_111_0010;
  fa.(0b000_1010) <- f_000_1010;
  fa.(0b100_1010) <- f_100_1010;
  fa.(0b010_1010) <- f_010_1010;
  fa.(0b110_1010) <- f_110_1010;
  fa.(0b001_1010) <- f_001_1010;
  fa.(0b101_1010) <- f_101_1010;
  fa.(0b011_1010) <- f_011_1010;
  fa.(0b111_1010) <- f_111_1010;
  fa.(0b000_0110) <- f_000_0110;
  fa.(0b100_0110) <- f_100_0110;
  fa.(0b010_0110) <- f_010_0110;
  fa.(0b110_0110) <- f_110_0110;
  fa.(0b001_0110) <- f_001_0110;
  fa.(0b101_0110) <- f_101_0110;
  fa.(0b011_0110) <- f_011_0110;
  fa.(0b111_0110) <- f_111_0110;
  fa.(0b000_1110) <- f_000_1110;
  fa.(0b100_1110) <- f_100_1110;
  fa.(0b010_1110) <- f_010_1110;
  fa.(0b110_1110) <- f_110_1110;
  fa.(0b001_1110) <- f_001_1110;
  fa.(0b101_1110) <- f_101_1110;
  fa.(0b011_1110) <- f_011_1110;
  fa.(0b111_1110) <- f_111_1110;
  fa.(0b000_0001) <- f_000_0001;
  fa.(0b100_0001) <- f_100_0001;
  fa.(0b010_0001) <- f_010_0001;
  fa.(0b110_0001) <- f_110_0001;
  fa.(0b001_0001) <- f_001_0001;
  fa.(0b101_0001) <- f_101_0001;
  fa.(0b011_0001) <- f_011_0001;
  fa.(0b111_0001) <- f_111_0001;
  fa.(0b000_1001) <- f_000_1001;
  fa.(0b100_1001) <- f_100_1001;
  fa.(0b010_1001) <- f_010_1001;
  fa.(0b110_1001) <- f_110_1001;
  fa.(0b001_1001) <- f_001_1001;
  fa.(0b101_1001) <- f_101_1001;
  fa.(0b011_1001) <- f_011_1001;
  fa.(0b111_1001) <- f_111_1001;
  fa.(0b000_0101) <- f_000_0101;
  fa.(0b100_0101) <- f_100_0101;
  fa.(0b010_0101) <- f_010_0101;
  fa.(0b110_0101) <- f_110_0101;
  fa.(0b001_0101) <- f_001_0101;
  fa.(0b101_0101) <- f_101_0101;
  fa.(0b011_0101) <- f_011_0101;
  fa.(0b111_0101) <- f_111_0101;
  fa.(0b000_1101) <- f_000_1101;
  fa.(0b100_1101) <- f_100_1101;
  fa.(0b010_1101) <- f_010_1101;
  fa.(0b110_1101) <- f_110_1101;
  fa.(0b001_1101) <- f_001_1101;
  fa.(0b101_1101) <- f_101_1101;
  fa.(0b011_1101) <- f_011_1101;
  fa.(0b111_1101) <- f_111_1101;
  fa.(0b000_0011) <- f_000_0011;
  fa.(0b100_0011) <- f_100_0011;
  fa.(0b010_0011) <- f_010_0011;
  fa.(0b110_0011) <- f_110_0011;
  fa.(0b001_0011) <- f_001_0011;
  fa.(0b101_0011) <- f_101_0011;
  fa.(0b011_0011) <- f_011_0011;
  fa.(0b111_0011) <- f_111_0011;
  fa.(0b000_1011) <- f_000_1011;
  fa.(0b100_1011) <- f_100_1011;
  fa.(0b010_1011) <- f_010_1011;
  fa.(0b110_1011) <- f_110_1011;
  fa.(0b001_1011) <- f_001_1011;
  fa.(0b101_1011) <- f_101_1011;
  fa.(0b011_1011) <- f_011_1011;
  fa.(0b111_1011) <- f_111_1011;
  fa.(0b000_0111) <- f_000_0111;
  fa.(0b100_0111) <- f_100_0111;
  fa.(0b010_0111) <- f_010_0111;
  fa.(0b110_0111) <- f_110_0111;
  fa.(0b001_0111) <- f_001_0111;
  fa.(0b101_0111) <- f_101_0111;
  fa.(0b011_0111) <- f_011_0111;
  fa.(0b111_0111) <- f_111_0111;
  fa.(0b000_1111) <- f_000_1111;
  fa.(0b100_1111) <- f_100_1111;
  fa.(0b010_1111) <- f_010_1111;
  fa.(0b110_1111) <- f_110_1111;
  fa.(0b001_1111) <- f_001_1111;
  fa.(0b101_1111) <- f_101_1111;
  fa.(0b011_1111) <- f_011_1111;
  fa.(0b111_1111) <- f_111_1111;
  fa

let when_true fl bit_index w =
  let f = fa.( w ) in
  f fl bit_index