jon.recoil.org

Module Ocaml_typing.Import_info

type t

Either an interface (.cmi) or implementation (.cmo/x) import. Should be avoided in new code, in preference to Intf.t or Impl.t.

val create : CU.Name.t -> crc_with_unit:(CU.t * string) option -> Ocaml_typing.Import_info.t
val create_normal : CU.t -> crc:string option -> Ocaml_typing.Import_info.t

This function will cause a fatal error if a CU.t was not provided when the supplied value of type t was created.

val crc : Ocaml_typing.Import_info.t -> string option
val has_name : Ocaml_typing.Import_info.t -> name:CU.Name.t -> bool
module Intf : sig ... end

The preferred API to use for interface imports. An interface import might be a parameter, in which case it has a CRC but no CU.t (since a CU.t is for an implementation).

module Impl : sig ... end