99 open Hints_declaration
121 val graph_to_lin_statement :
122 Joint.uns_params -> AST.ident List.list -> 'a1 Identifiers.identifier_map
123 -> Joint.joint_statement -> Joint.joint_statement
126 ('a1 -> Bool.bool) -> 'a1 List.list -> ('a1, 'a1 List.list) Types.prod
129 type graph_visit_ret_type =
130 ((Nat.nat Identifiers.identifier_map, Identifiers.identifier_set)
131 Types.prod, __) Types.prod Types.sig0
134 Joint.uns_params -> AST.ident List.list -> __ -> Identifiers.identifier_set
135 -> Nat.nat Identifiers.identifier_map -> __ -> Graphs.label List.list ->
136 Nat.nat -> Nat.nat -> Graphs.label -> graph_visit_ret_type
138 val branch_compress :
139 Joint.graph_params -> AST.ident List.list -> __ -> Graphs.label Types.sig0
143 PreIdentifiers.identifierTag -> (PreIdentifiers.identifier -> Bool.bool) ->
144 'a1 LabelledObjects.labelled_obj List.list -> (__, 'a1) Types.prod
148 Joint.uns_params -> AST.ident List.list -> __ -> Graphs.label Types.sig0 ->
149 (__, Graphs.label -> Nat.nat Types.option) Types.prod Types.sig0
151 val linearise_int_fun :
152 Joint.uns_params -> AST.ident List.list ->
153 Joint.joint_closed_internal_function ->
154 (Joint.joint_closed_internal_function, Graphs.label -> Nat.nat
155 Types.option) Types.prod Types.sig0
158 Joint.uns_params -> Joint.joint_program -> Joint.joint_program