OCaml Program

Checking: Static Dynamic Hybrid