Logical.Value
val int : int -> Type.t
val float : float -> Type.t
val str : string -> Type.t
val bool : bool -> Type.t
val var : Type.variable_name -> Type.t
val to_string : Type.t -> string