Module Codex_options.Value_int

type t = int

val ty : t Frama_c_kernel.Type.t

val name : string

val descr : t Frama_c_kernel.Descr.t

val packed_descr : Frama_c_kernel.Structural_descr.pack

val reprs : t list

val equal : t -> t -> bool

val compare : t -> t -> int

val hash : t -> int

val pretty : Stdlib.Format.formatter -> t -> unit

val mem_project : (Frama_c_kernel.Project_skeleton.t -> bool) -> t -> bool

val copy : t -> t

val of_string : string -> t

val to_string : t -> string