bedrock.prelude.dummy

(* DO NOT EDIT: Generated by dune *)

Require Import bedrock.prelude.bytestring.

#[local] Open Scope bs_scope.

Definition deps : list (bs * bs) :=
  ("eba4ffb9a7fbf894991b21b4c0c6f860edd911e109e0fbdcb71ffde9d6c80ac0972b3427f76e2711cd4d6b9920ca9a579d4913666a8207ad04a0c084d202c950", "elpi/coq.elpi") ::
  nil.