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.
Require Import bedrock.prelude.bytestring.
#[local] Open Scope bs_scope.
Definition deps : list (bs * bs) :=
("eba4ffb9a7fbf894991b21b4c0c6f860edd911e109e0fbdcb71ffde9d6c80ac0972b3427f76e2711cd4d6b9920ca9a579d4913666a8207ad04a0c084d202c950", "elpi/coq.elpi") ::
nil.