package rfsm

  1. Overview
  2. Docs

Module Rfsm.Type_exprSource

Sourcetype t = {
  1. te_desc : te_desc;
  2. mutable te_typ : Types.typ;
}
Sourceand 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
Sourceand int_annot =
  1. | TA_none
  2. | TA_size of type_index_expr
  3. | TA_range of type_index_expr * type_index_expr
Sourceand type_index_expr =
  1. | TEConst of int
  2. | TEVar of string
  3. | TEBinop of string * type_index_expr * type_index_expr
Sourceval string_of_type_index : type_index_expr -> string
Sourceval string_of_int_annot : int_annot -> string
Sourceval string_of_type_expr : t -> string