97 open Hints_declaration
109 val reverse_label_map :
110 RTLabs_syntax.statement Graphs.graph -> PreIdentifiers.identifier
111 Identifiers.identifier_map Types.option
113 val check_fun_inj : RTLabs_syntax.internal_function -> Bool.bool
115 val check_program_cost_injectivity :
116 RTLabs_syntax.rTLabs_program -> Bool.bool
118 val check_program_cost_injectivity_prf :
119 RTLabs_syntax.rTLabs_program -> __ Errors.res