97 open Hints_declaration
107 val is_cost_label : RTLabs_syntax.statement -> Bool.bool
110 RTLabs_syntax.statement -> CostLabel.costlabel Types.option
112 val well_cost_labelled_statement :
113 RTLabs_syntax.statement Graphs.graph -> RTLabs_syntax.statement ->
116 val successors : RTLabs_syntax.statement -> Graphs.label List.list