codept-lib 0.12.1 · OCaml Package

module N : sig ... end

val one : ('a, ('a * 'b) Schematic.r) Schematic.s

val two : 
  ('a, ('a * 'b) Schematic.r) Schematic.s
  * ('c, ('d * ('c * 'e)) Schematic.r) Schematic.s

val three : 
  ('a, ('a * 'b) Schematic.r) Schematic.s
  * ('c, ('d * ('c * 'e)) Schematic.r) Schematic.s
  * ('f, ('g * ('h * ('f * 'i))) Schematic.r) Schematic.s

val four : 
  ('a, ('a * 'b) Schematic.r) Schematic.s
  * ('c, ('d * ('c * 'e)) Schematic.r) Schematic.s
  * ('f, ('g * ('h * ('f * 'i))) Schematic.r) Schematic.s
  * ('j, ('k * ('l * ('m * ('j * 'n)))) Schematic.r) Schematic.s

val five : 
  ('a, ('a * 'b) Schematic.r) Schematic.s
  * ('c, ('d * ('c * 'e)) Schematic.r) Schematic.s
  * ('f, ('g * ('h * ('f * 'i))) Schematic.r) Schematic.s
  * ('j, ('k * ('l * ('m * ('j * 'n)))) Schematic.r) Schematic.s
  * ('o, ('p * ('q * ('r * ('s * ('o * 't))))) Schematic.r) Schematic.s

val six : 
  ('a, ('a * 'b) Schematic.r) Schematic.s
  * ('c, ('d * ('c * 'e)) Schematic.r) Schematic.s
  * ('f, ('g * ('h * ('f * 'i))) Schematic.r) Schematic.s
  * ('j, ('k * ('l * ('m * ('j * 'n)))) Schematic.r) Schematic.s
  * ('o, ('p * ('q * ('r * ('s * ('o * 't))))) Schematic.r) Schematic.s
  * ('u, ('v * ('w * ('x * ('y * ('z * ('u * 'a1)))))) Schematic.r) Schematic.s

val seven : 
  ('a, ('a * 'b) Schematic.r) Schematic.s
  * ('c, ('d * ('c * 'e)) Schematic.r) Schematic.s
  * ('f, ('g * ('h * ('f * 'i))) Schematic.r) Schematic.s
  * ('j, ('k * ('l * ('m * ('j * 'n)))) Schematic.r) Schematic.s
  * ('o, ('p * ('q * ('r * ('s * ('o * 't))))) Schematic.r) Schematic.s
  * ('u, ('v * ('w * ('x * ('y * ('z * ('u * 'a1)))))) Schematic.r) Schematic.s
  * ('b1,
      ('c1 * ('d1 * ('e1 * ('f1 * ('g1 * ('h1 * ('b1 * 'i1))))))) Schematic.r)
      Schematic.s

val eight : 
  ('a, ('a * 'b) Schematic.r) Schematic.s
  * ('c, ('d * ('c * 'e)) Schematic.r) Schematic.s
  * ('f, ('g * ('h * ('f * 'i))) Schematic.r) Schematic.s
  * ('j, ('k * ('l * ('m * ('j * 'n)))) Schematic.r) Schematic.s
  * ('o, ('p * ('q * ('r * ('s * ('o * 't))))) Schematic.r) Schematic.s
  * ('u, ('v * ('w * ('x * ('y * ('z * ('u * 'a1)))))) Schematic.r) Schematic.s
  * ('b1,
      ('c1 * ('d1 * ('e1 * ('f1 * ('g1 * ('h1 * ('b1 * 'i1))))))) Schematic.r)
      Schematic.s
  * ('j1,
      ('k1 * ('l1 * ('m1 * ('n1 * ('o1 * ('p1 * ('q1 * ('j1 * 'r1))))))))
        Schematic.r)
      Schematic.s

val nine : 
  ('a, ('a * 'b) Schematic.r) Schematic.s
  * ('c, ('d * ('c * 'e)) Schematic.r) Schematic.s
  * ('f, ('g * ('h * ('f * 'i))) Schematic.r) Schematic.s
  * ('j, ('k * ('l * ('m * ('j * 'n)))) Schematic.r) Schematic.s
  * ('o, ('p * ('q * ('r * ('s * ('o * 't))))) Schematic.r) Schematic.s
  * ('u, ('v * ('w * ('x * ('y * ('z * ('u * 'a1)))))) Schematic.r) Schematic.s
  * ('b1,
      ('c1 * ('d1 * ('e1 * ('f1 * ('g1 * ('h1 * ('b1 * 'i1))))))) Schematic.r)
      Schematic.s
  * ('j1,
      ('k1 * ('l1 * ('m1 * ('n1 * ('o1 * ('p1 * ('q1 * ('j1 * 'r1))))))))
        Schematic.r)
      Schematic.s
  * ('s1,
      ('t1
       * ('u1 * ('v1 * ('w1 * ('x1 * ('y1 * ('z1 * ('a2 * ('s1 * 'b2)))))))))
        Schematic.r)
      Schematic.s

val ten : 
  ('a, ('a * 'b) Schematic.r) Schematic.s
  * ('c, ('d * ('c * 'e)) Schematic.r) Schematic.s
  * ('f, ('g * ('h * ('f * 'i))) Schematic.r) Schematic.s
  * ('j, ('k * ('l * ('m * ('j * 'n)))) Schematic.r) Schematic.s
  * ('o, ('p * ('q * ('r * ('s * ('o * 't))))) Schematic.r) Schematic.s
  * ('u, ('v * ('w * ('x * ('y * ('z * ('u * 'a1)))))) Schematic.r) Schematic.s
  * ('b1,
      ('c1 * ('d1 * ('e1 * ('f1 * ('g1 * ('h1 * ('b1 * 'i1))))))) Schematic.r)
      Schematic.s
  * ('j1,
      ('k1 * ('l1 * ('m1 * ('n1 * ('o1 * ('p1 * ('q1 * ('j1 * 'r1))))))))
        Schematic.r)
      Schematic.s
  * ('s1,
      ('t1
       * ('u1 * ('v1 * ('w1 * ('x1 * ('y1 * ('z1 * ('a2 * ('s1 * 'b2)))))))))
        Schematic.r)
      Schematic.s
  * ('c2,
      ('d2
       * ('e2
          * ('f2 * ('g2 * ('h2 * ('i2 * ('j2 * ('k2 * ('l2 * ('c2 * 'm2))))))))))
        Schematic.r)
      Schematic.s

package codept-lib