(** WARNING: this file is partially auto-generated. Do not edit `src/Meta.ml`
    by hand. Edit `templates/Meta.ml` instead, or improve the code
    generation tool so avoid the need for hand-writing things.

    `templates/Meta.ml` contains the manual definitions and some `(*
    __REPLACEn__ *)` comments. These comments are replaced by auto-generated
    definitions by running `make generate-ml` in the crate root. The
    code-generation code is in `charon/src/bin/generate-ml`.
 *)


type path_buf = string
[@@deriving show, ord, eq]

(* __REPLACE0__ *)
[@@deriving show, ord, eq]
