bedrock.prelude.dummy

(* DO NOT EDIT: Generated by dune *)

Require Import bedrock.prelude.bytestring.

#[local] Open Scope bs_scope.

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