Jacket
Search the docs
/
API
Tools
Playground
main
Rewrite module
← Rewrite
Procedures
compare_single_rewrites
make_new_file_data
rewrite_one_file
init
gather
finish
On this page
See also
std
/
Rewrite
/
compare_single_rewrites
compare_single_rewrites
procedure
Source
compare_single_rewrites
:: (a: *
Single_Rewrite
, b: *
Single_Rewrite
) ->
int
Parameters
a
:
*
Single_Rewrite
b
:
*
Single_Rewrite
Returns
int
See also
make_new_file_data
rewrite_one_file
Jacket
Jacket