Skip to content

Commit f662cc8

Browse files
committed
fix pkg_common.mli
move the docstrings to the correct place, and add doc for pkg_enabled Signed-off-by: Sudha Parimala <sudharg247@gmail.com>
1 parent 981412d commit f662cc8

1 file changed

Lines changed: 4 additions & 5 deletions

File tree

bin/pkg/pkg_common.mli

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -82,11 +82,10 @@ end
8282
[lock_dir]. *)
8383
val pp_packages : Dune_pkg.Lock_dir.Pkg.t list -> User_message.Style.t Pp.t
8484

85+
(** [pkg_enabled ~workspace ~lock_dir_paths] returns [true] if package management is
86+
enabled. *)
87+
val pkg_enabled : workspace:Workspace.t -> lock_dir_paths:Path.Source.t list -> bool
88+
8589
(** [check_pkg_management_enabled ()] checks if package management is enabled in the
8690
workspace configuration. Raises a user error if it is explicitly disabled. *)
87-
val pkg_enabled
88-
: workspace:Workspace.t
89-
-> lock_dir_paths:Path.Source.t list
90-
-> bool
91-
9291
val check_pkg_management_enabled : unit -> unit Fiber.t

0 commit comments

Comments
 (0)