package strymonas-pure
-
strymonas-pure
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package strymonas-pure
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type expression = | Nothing| Const of constant| Var of varname| Unary of unary_operator * expression| Label_addr of label| Binary of binary_operator * expression * expression| Cond of expression * expression * expression| Cast of ctype * expression| Call of expression * expression list| Comma of simple_statement list * expression| Index of expression * expression| Memberof of expression * fieldname| Memberofptr of expression * fieldname
and init_expression = | Init_none| Init_single of expression| Init_compound of (init_designator * init_expression) list
and init_designator = | Indes_none| Indes_field of string * init_designator| Indes_index of expression * init_designator| Indes_index_range of expression * expression
and simple_statement = | NOP| CALL of expression * expression list| UNMOD of unary_modifier * expression| BIMOD of binary_modifier * expression * expression
and statement = | SIMPLE of let_or_statement| BLOCK of block| IF of expression * block * block| WHILE of expression * block| DOWHILE of expression * block| FOR of let_or_statement * expression * simple_statement * block| BREAK| CONTINUE| RETURN of expression| SWITCH of expression * block| CASE of expression * block| CASERANGE of expression * expression * block| DEFAULT of block| LABEL of label| GOTO of label| COMPGOTO of expression
and block = statement listand definition = typedname * init_expression