Fresh O'Caml is based on the O'Caml programming language, with additional support for names, abstractions, and pattern matching above and beyond that provided by pure Objective Caml.