gillian » Gillian » Gil_syntax » Type

Module Gil_syntax.Type

type t =

1. | UndefinedType
   (*

   Type of Undefined

   *)
2. | NullType
   (*

   Type of Null

   *)
3. | EmptyType
   (*

   Type of Empty

   *)
4. | NoneType
   (*

   Type of None

   *)
5. | BooleanType
   (*

   Type of booleans

   *)
6. | IntType
   (*

   Type of integers

   *)
7. | NumberType
   (*

   Type of floats

   *)
8. | StringType
   (*

   Type of strings

   *)
9. | ObjectType
   (*

   Type of objects

   *)
10. | ListType
    (*

    Type of lists

    *)
11. | TypeType
    (*

    Type of types

    *)
12. | SetType
    (*

    Type of sets

    *)

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 pp :
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

val show : t -> Ppx_deriving_runtime.string

val str : t -> string

Printer

module Set : Stdlib.Set.S with type elt := t

Sets of types