Ignore:
Timestamp:
Mar 13, 2013, 12:52:16 AM (8 years ago)
Author:
sacerdot
Message:

Trying to pretty print the code graph in visit order.
Slightly bugged ATM, IKD why.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/lTL_printer.mli

    r2854 r2858  
    112112
    113113val print_LTL_program :
    114   'a1 Joint_printer.printing_params -> LTL.ltl_program -> 'a1
     114  'a1 Joint_printer.printing_params -> LTL.ltl_program -> (AST.ident, 'a1
     115  List.list) Types.prod List.list
    115116
Note: See TracChangeset for help on using the changeset viewer.