OpamSysInteract (opam-state.OpamSysInteract)

val string_of_os_family : OpamStateTypes.os_family -> string

val equal_os_family : 
  OpamStateTypes.os_family ->
  OpamStateTypes.os_family ->
  bool

val same_os_family : 
  ?env:OpamStateTypes.gt_variables ->
  OpamStateTypes.os_family ->
  bool

val disable_depexts_note : string -> unit

val available_packages : 
  ?env:OpamStateTypes.gt_variables ->
  OpamFile.Config.t ->
  OpamSysPkg.Set.t ->
  OpamSysPkg.availability_mode

val available_packages_and_family : 
  ?env:OpamStateTypes.gt_variables ->
  OpamFile.Config.t ->
  OpamSysPkg.Set.t ->
  OpamStateTypes.os_family * OpamSysPkg.availability_mode

val installed_packages : 
  ?env:OpamStateTypes.gt_variables ->
  OpamFile.Config.t ->
  OpamSysPkg.Set.t ->
  OpamSysPkg.Set.t

val packages_status : 
  ?env:OpamStateTypes.gt_variables ->
  ?sys_available:OpamSysPkg.availability_mode ->
  OpamFile.Config.t ->
  OpamSysPkg.Set.t ->
  OpamSysPkg.status

val stateless_install : ?env:OpamStateTypes.gt_variables -> unit -> bool

val install_packages_commands : 
  ?env:OpamStateTypes.gt_variables ->
  OpamStateTypes.rw OpamStateTypes.switch_state option ->
  OpamFile.Config.t ->
  OpamSysPkg.to_install ->
  ([ `AsAdmin of string | `AsUser of string ] * string list) list

val install : 
  ?env:OpamStateTypes.gt_variables ->
  OpamStateTypes.rw OpamStateTypes.switch_state option ->
  OpamFile.Config.t ->
  OpamSysPkg.to_install ->
  unit

val update : ?env:OpamStateTypes.gt_variables -> OpamFile.Config.t -> unit

val package_manager_name : 
  ?env:OpamStateTypes.gt_variables ->
  OpamFile.Config.t ->
  string

val repo_enablers : 
  ?env:OpamStateTypes.gt_variables ->
  OpamFile.Config.t ->
  string option

module Cygwin : sig ... end