Library.Intern
Intern from a .vo file located by libresolver
module Provenance : sig ... end
type t = Names.DirPath.t -> (library_t, Exninfo.iexn) Stdlib.Result.t * Provenance.t