DkCoder_Std.ModuleInfo

ModuleInfo is the run-time module information for a module.

Sourcetype t

Sourcemodule type HAS_MODULE_INFO = sig ... end

A script module which has module type SCRIPT is a provider of module information.

val create : 
  __LIBRARY_ID__:string ->
  __MODULE_ID__:string ->
  __FILE__:string ->
  unit ->
  t

create ~__LIBRARY_ID__ ~__MODULE_ID__ ~__FILE__ () creates run-time module information.

Sourceval library_id : (module HAS_MODULE_INFO) -> string

library_id script is the library id for some script (ex. SomeScript) used in an expression like ModuleInfo.library_id (module SomeScript).

Sourceval module_id : (module HAS_MODULE_INFO) -> string

module_id script is the module id for some script (ex. SomeScript) used in an expression like ModuleInfo.module_id (module SomeScript).

Sourceval file : (module HAS_MODULE_INFO) -> string

file script is the file for some script (ex. SomeScript) used in an expression like ModuleInfo.file (module SomeScript).