Module Var.Type

Variable types.

Types

type 'a t = 'a type'

The type for type of variables.

val is_numeric : 'a t -> bool

is_numeric t is true if t is Bool, Int or Float.

val pp : 'a type' fmt

pp ppf t formats type t on ppf.

Operations on the values of types

val value_compare : 'a type' -> 'a -> 'a -> int

value_compare t is the order underlying the values of type t.

val value_pp : 'a type' -> 'a fmt

value_pp t is a formatter for values of type t.

val value_set : 'a type' -> (module Stdlib.Set.S with type elt = 'a)

value_set t is a set for values of type t.

val value_map : 'a type' -> (module Stdlib.Map.S with type key = 'a)

value_map t is a map for values of type t.