gillian » Gillian » Utils » Allocators » Make_with_prefix

Module Allocators.Make_with_prefix

Parameters

moduleA : S_with_stringify

moduleP : sig ... end

Signature

type t = string

val to_yojson : t -> Yojson.Safe.t

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val equal : t -> t -> Ppx_deriving_runtime.bool

val compare : t -> t -> Ppx_deriving_runtime.int

val alloc : unit -> t

val dealloc : t -> unit

val eq : t -> t -> bool

val reset : unit -> unit