Module Unif_intf (.ml)

module Unif_intf: sig .. end

bind subst v t binds v to t, but fails if v occurs in t (performs an occur-check first)
Raises Fail if occurs-check fires

type subst = Substs.t 

module type S = sig .. end