OCaml

[alpaylan]

The current version has the qcheck ready for BST/RBT/STLC but we have no System F and crowbar/base_quickcheck are broken.

• System F
• crowbar
  • BST
  • RBT
  • STLC
• base_quickcheck
  • BST
  • RBT
  • STLC