81 open Hints_declaration
104 AST.init_data -> (AST.typ, Cminor_syntax.expr) Types.dPair Types.option
106 val option_jmdiscr : 'a1 Types.option -> 'a1 Types.option -> __
108 val dPair_jmdiscr : ('a1, 'a2) Types.dPair -> ('a1, 'a2) Types.dPair -> __
111 AST.ident -> AST.region -> AST.init_data -> Nat.nat -> Cminor_syntax.stmt
115 AST.ident -> AST.region -> AST.init_data List.list -> Cminor_syntax.stmt
119 ((AST.ident, AST.region) Types.prod, AST.init_data List.list) Types.prod
120 List.list -> Cminor_syntax.stmt Types.sig0
123 CostLabel.costlabel -> AST.ident -> Cminor_syntax.stmt Types.sig0 ->
124 (AST.ident, Cminor_syntax.internal_function AST.fundef) Types.prod
125 List.list -> (AST.ident, Cminor_syntax.internal_function AST.fundef)
129 ((AST.ident, AST.region) Types.prod, AST.init_data List.list) Types.prod
130 List.list -> ((AST.ident, AST.region) Types.prod, Nat.nat) Types.prod
134 CostLabel.costlabel -> Cminor_syntax.cminor_program ->
135 Cminor_syntax.cminor_noinit_program