Module Mlsem_lang.Const

type t =
  1. | Unit
  2. | Nil
  3. | Bool of bool
  4. | Int of Z.t
  5. | Float of float
  6. | Char of char
  7. | String of string
val typeof : t -> Mlsem_types.Ty.t
val is_approximated : t -> bool

is_approximated t returns false if and only if typeof t is a singleton type capturing only t.

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