We propose a perspective to view OCaml runtime values as first-order terms, and provide an algorithm for their unification.