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