package codept-lib

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

Module Module.PartialSource

Anonymous module and other partial definitions

Sourcetype t = {
  1. name : string option;
  2. mty : sty;
}
Sourceval empty : t
Sourceval is_exact : t -> bool
Sourceval extend : sty -> modul_
Sourceval simple : signature -> t
Sourceval pp : Format.formatter -> t -> unit
Sourceval pp_sty : Format.formatter -> sty -> unit
Sourceval refresh : Id.seed -> 'any ty -> 'any ty
Sourceval apply : arg:modul_ -> param:modul_ -> body:modul_ -> modul_
Sourceval replace_at : level:level -> delete:bool -> path:Paths.S.t -> replacement:modul_ -> modul_ -> modul_
Sourceval to_module : ?origin:origin -> t -> modul_
Sourceval to_arg : t -> modul_
Sourceval of_extended_mty : modul_ -> sty
Sourceval of_extended : ?name:Name.t -> modul_ -> t
Sourceval of_module : Name.t -> tracked_signature -> t
Sourceval pseudo_module : Name.t -> dict -> t
Sourceval is_functor : t -> bool
Sourceval to_sign : t -> (signature, signature) result