package rfsm

  1. Overview
  2. Docs
type t = {
  1. te_desc : te_desc;
  2. mutable te_typ : Types.typ;
}
and te_desc =
  1. | TEBool
  2. | TEInt of int_annot
  3. | TEFloat
  4. | TEChar
  5. | TEEvent
  6. | TEName of string
  7. | TEArray of type_index_expr * t
and int_annot =
  1. | TA_none
  2. | TA_size of type_index_expr
  3. | TA_range of type_index_expr * type_index_expr
and type_index_expr =
  1. | TEConst of int
  2. | TEVar of string
  3. | TEBinop of string * type_index_expr * type_index_expr
val string_of_type_index : type_index_expr -> string
val string_of_int_annot : int_annot -> string
val string_of_type_expr : t -> string