Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Rfsm.Type_expr
Sourceand te_desc =
| TEBool
| TEInt of int_annot
| TEFloat
| TEChar
| TEEvent
| TEName of string
| TEArray of type_index_expr * t
and int_annot =
| TA_none
| TA_size of type_index_expr
| TA_range of type_index_expr * type_index_expr
and type_index_expr =
| TEConst of int
| TEVar of string
| TEBinop of string * type_index_expr * type_index_expr