Hg_lib_factory (hg_lib.hg_lib.open.Open_hg_lib.Expert.Hg_lib

module type Arg = sig ... end

module type Hg_env = sig ... end

type nonrec 'a with_global_args =
  ?repository:string ->
  ?cwd:string ->
  ?config:(string * string) list ->
  ?env:Async.Process.env ->
  'a

type nonrec 'a with_global_args_remote =
  server:Command_server.t ->
  ?repository:string ->
  ?cwd:string ->
  ?config:(string * string) list ->
  'a

module Simple : 
  Arg with type 'a With_args.t = 'a with_global_args with type 'a Output.t = 'a

module Async : 
  Arg
    with type 'a With_args.t = 'a with_global_args
    with type 'a Output.t = 'a Async.Deferred.Or_error.t

module Fixed_hg_environment
  (_ : Hg_env) : 
  Arg
    with type 'a With_args.t = 'a with_global_args
    with type 'a Output.t = 'a Async.Deferred.Or_error.t

Same as Async, but with the following changes to fix the hg environment:

module Remote : 
  Arg
    with type 'a With_args.t = 'a with_global_args_remote
    with type 'a Output.t = 'a Async.Deferred.Or_error.t

module Make_lib (M : sig ... end) : sig ... end

To satisfy this functor, define a signature S for your hg library with respect to the abstract type constructors 'a with_args and 'a output. Then generate the interface for your library as follows: