| 1 | |
|---|
| 2 | (** This module provides folding functions over the constructors of the |
|---|
| 3 | [Clight]'s AST. *) |
|---|
| 4 | |
|---|
| 5 | val ctype_fill_subs : Clight.ctype -> Clight.ctype list -> Clight.ctype |
|---|
| 6 | |
|---|
| 7 | val ctype : (Clight.ctype -> 'a list -> 'a) -> Clight.ctype -> 'a |
|---|
| 8 | |
|---|
| 9 | val expr_fill_subs : |
|---|
| 10 | Clight.expr -> Clight.ctype list -> Clight.expr_descr list -> |
|---|
| 11 | Clight.expr |
|---|
| 12 | |
|---|
| 13 | val expr_fill_exprs : |
|---|
| 14 | Clight.expr -> Clight.expr list -> Clight.expr |
|---|
| 15 | |
|---|
| 16 | val expr : |
|---|
| 17 | (Clight.ctype -> 'a list -> 'a) -> |
|---|
| 18 | (Clight.expr -> 'a list -> 'b list -> 'c) -> |
|---|
| 19 | (Clight.expr_descr -> 'a list -> 'c list -> 'b) -> |
|---|
| 20 | Clight.expr -> |
|---|
| 21 | 'c |
|---|
| 22 | |
|---|
| 23 | val expr2 : |
|---|
| 24 | (Clight.expr -> 'a list -> 'a) -> Clight.expr -> 'a |
|---|
| 25 | |
|---|
| 26 | val expr_descr_subs : |
|---|
| 27 | Clight.expr_descr -> Clight.ctype list * Clight.expr list |
|---|
| 28 | |
|---|
| 29 | val expr_descr_fill_subs : |
|---|
| 30 | Clight.expr_descr -> Clight.ctype list -> Clight.expr list -> |
|---|
| 31 | Clight.expr_descr |
|---|
| 32 | |
|---|
| 33 | val expr_descr : |
|---|
| 34 | (Clight.ctype -> 'a list -> 'a) -> |
|---|
| 35 | (Clight.expr -> 'a list -> 'b list -> 'c) -> |
|---|
| 36 | (Clight.expr_descr -> 'a list -> 'c list -> 'b) -> |
|---|
| 37 | Clight.expr_descr -> |
|---|
| 38 | 'b |
|---|
| 39 | |
|---|
| 40 | val statement_subs : |
|---|
| 41 | Clight.statement -> |
|---|
| 42 | (Clight.expr list * Clight.statement list) |
|---|
| 43 | |
|---|
| 44 | val statement_sub_exprs : Clight.statement -> Clight.expr list |
|---|
| 45 | |
|---|
| 46 | val statement_fill_subs : |
|---|
| 47 | Clight.statement -> Clight.expr list -> Clight.statement list -> |
|---|
| 48 | Clight.statement |
|---|
| 49 | |
|---|
| 50 | val statement : |
|---|
| 51 | (Clight.ctype -> 'a list -> 'a) -> |
|---|
| 52 | (Clight.expr -> 'a list -> 'b list -> 'c) -> |
|---|
| 53 | (Clight.expr_descr -> 'a list -> 'c list -> 'b) -> |
|---|
| 54 | (Clight.statement -> 'c list -> 'd list -> 'd) -> |
|---|
| 55 | Clight.statement -> |
|---|
| 56 | 'd |
|---|
| 57 | |
|---|
| 58 | val statement2 : |
|---|
| 59 | (Clight.expr -> 'a list -> 'a) -> |
|---|
| 60 | (Clight.statement -> 'a list -> 'b list -> 'b) -> |
|---|
| 61 | Clight.statement -> |
|---|
| 62 | 'b |
|---|
