Module Cgil_lib.Perm

type t = Compcert.Memtype.permission =
  1. | Freeable
  2. | Writable
  3. | Readable
  4. | Nonempty
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val to_int : t -> int
val opt_to_int : t option -> int
val pp : Stdlib.Format.formatter -> t -> unit
module Infix : sig ... end
val min : t -> t -> t