package codept-lib

  1. Overview
  2. Docs
package codept-lib
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module EnvtSource

Sourcetype context =
  1. | Signature of Module.signature
  2. | In_namespace of Module.dict
Sourcetype module_provider = Uloc.t -> Name.t -> Module.t Transforms.query_result option
Sourcemodule Core : sig ... end
Sourceval libs : Name.t list -> module_provider
Sourceval open_world : unit -> module_provider
Sourceval start : ?open_approximation:bool -> libs:Paths.S.t -> namespace:Namespaced.t list -> implicits:(Paths.S.t * Module.Dict.t) list -> Module.Dict.t -> Core.t