2 (** This module provides folding functions over the constructors of the
5 val ctype_fill_subs : Clight.ctype -> Clight.ctype list -> Clight.ctype
7 val ctype : (Clight.ctype -> 'a list -> 'a) -> Clight.ctype -> 'a
10 Clight.expr -> Clight.ctype list -> Clight.expr_descr list ->
14 Clight.expr -> Clight.expr list -> Clight.expr
17 (Clight.ctype -> 'a list -> 'a) ->
18 (Clight.expr -> 'a list -> 'b list -> 'c) ->
19 (Clight.expr_descr -> 'a list -> 'c list -> 'b) ->
24 (Clight.expr -> 'a list -> 'a) -> Clight.expr -> 'a
27 Clight.expr_descr -> Clight.ctype list * Clight.expr list
29 val expr_descr_fill_subs :
30 Clight.expr_descr -> Clight.ctype list -> Clight.expr list ->
34 (Clight.ctype -> 'a list -> 'a) ->
35 (Clight.expr -> 'a list -> 'b list -> 'c) ->
36 (Clight.expr_descr -> 'a list -> 'c list -> 'b) ->
42 (Clight.expr list * Clight.statement list)
44 val statement_sub_exprs : Clight.statement -> Clight.expr list
46 val statement_fill_subs :
47 Clight.statement -> Clight.expr list -> Clight.statement list ->
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) ->
59 (Clight.expr -> 'a list -> 'a) ->
60 (Clight.statement -> 'a list -> 'b list -> 'b) ->