OCaml
O
OCaml
Definition
Source code for OCaml, a multi-paradigm language with a powerful type system. Used in formal verification, compilers, and financial systems.