sig
  type feedback =
      [ `File_status_repeat of B0_std.Fpath.t
      | `File_status_unstable of B0_std.Fpath.t ]
  type t
  val create : ?feedback:(B00.Guard.feedback -> unit) -> unit -> B00.Guard.t
  val set_file_ready : B00.Guard.t -> B0_std.Fpath.t -> unit
  val set_file_never : B00.Guard.t -> B0_std.Fpath.t -> unit
  val add : B00.Guard.t -> B00.Op.t -> unit
  val allowed : B00.Guard.t -> B00.Op.t option
  val guarded_ops : B00.Guard.t -> B00.Op.t list
  val ready_files : B00.Guard.t -> B0_std.Fpath.Set.t
  val never_files : B00.Guard.t -> B0_std.Fpath.Set.t
  val undecided_files : B00.Guard.t -> B0_std.Fpath.Set.t
  val root_undecided_files : B00.Guard.t -> B0_std.Fpath.Set.t
end