Disambiguation evidence for ocamlopt via surface form

"OCaml compiler"

Triples (1)

Triples where some other subject referred to this entity as "OCaml compiler".

HOL Light → requires →
"OCaml compiler"
↳ resolves to ocamlopt
ⓘ