1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module E : sig ... end
type t = private {
cudf_file : string option; |
solver : (module OpamCudfSolver.S) Lazy.t; |
best_effort : bool; |
solver_preferences_default : string option Lazy.t; |
solver_preferences_upgrade : string option Lazy.t; |
solver_preferences_fixup : string option Lazy.t; |
solver_preferences_best_effort_prefix : string option Lazy.t; |
solver_timeout : float option; |
solver_allow_suboptimal : bool; |
cudf_trim : string option; |
dig_depth : int; |
preprocess : bool; |
version_lag_power : int; |
}
type 'a options_fun =
?cudf_file:string option ->
?solver:(module OpamCudfSolver.S) Lazy.t ->
?best_effort:bool ->
?solver_preferences_default:string option Lazy.t ->
?solver_preferences_upgrade:string option Lazy.t ->
?solver_preferences_fixup:string option Lazy.t ->
?solver_preferences_best_effort_prefix:string option Lazy.t ->
?solver_timeout:float option ->
?solver_allow_suboptimal:bool ->
?cudf_trim:string option ->
?dig_depth:int ->
?preprocess:bool ->
?version_lag_power:int ->
'a
include OpamStd.Config.Sig
with type t := t
and type 'a options_fun := 'a options_fun
val default : t
The default values of the options to use at startup
val set : t -> ( unit -> t ) options_fun
Use to update any option in a t
, using the optional arguments of options_fun
. E.g. set opts ?option1:1 ?option4:"x" ()
val setk : ( t -> 'a ) -> t -> 'a options_fun
Same as set
, but passes the result to a continuation, allowing argument stacking
The global reference containing the currently set library options. Access using OpamXxxConfig.(!r.field)
.
val update : ?noop:_ -> ( unit -> unit ) options_fun
Updates the currently set options in r
according to the optional arguments
val init : ?noop:_ -> ( unit -> unit ) options_fun
Sets the options, reading the environment to get default values when unspecified
val initk : 'a -> 'a options_fun
Sets the options like init
, but returns the given value (for arguments stacking)
val call_solver :
criteria:string ->
Cudf.cudf ->
Cudf.preamble option * Cudf.universe
val criteria : OpamTypes.solver_criteria -> string