Ignore:
Timestamp:
Mar 14, 2013, 10:37:39 PM (8 years ago)
Author:
sacerdot
Message:

Extracted again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/structuredTraces.mli

    r2773 r2873  
    883883  as_cost_label List.list
    884884
     885type trace_any_any_free =
     886| Taaf_base of __
     887| Taaf_step of __ * __ * __ * trace_any_any
     888| Taaf_step_jump of __ * __ * __ * trace_any_any
     889
     890val trace_any_any_free_rect_Type4 :
     891  abstract_status -> (__ -> 'a1) -> (__ -> __ -> __ -> trace_any_any -> __ ->
     892  __ -> 'a1) -> (__ -> __ -> __ -> trace_any_any -> __ -> __ -> __ -> 'a1) ->
     893  __ -> __ -> trace_any_any_free -> 'a1
     894
     895val trace_any_any_free_rect_Type5 :
     896  abstract_status -> (__ -> 'a1) -> (__ -> __ -> __ -> trace_any_any -> __ ->
     897  __ -> 'a1) -> (__ -> __ -> __ -> trace_any_any -> __ -> __ -> __ -> 'a1) ->
     898  __ -> __ -> trace_any_any_free -> 'a1
     899
     900val trace_any_any_free_rect_Type3 :
     901  abstract_status -> (__ -> 'a1) -> (__ -> __ -> __ -> trace_any_any -> __ ->
     902  __ -> 'a1) -> (__ -> __ -> __ -> trace_any_any -> __ -> __ -> __ -> 'a1) ->
     903  __ -> __ -> trace_any_any_free -> 'a1
     904
     905val trace_any_any_free_rect_Type2 :
     906  abstract_status -> (__ -> 'a1) -> (__ -> __ -> __ -> trace_any_any -> __ ->
     907  __ -> 'a1) -> (__ -> __ -> __ -> trace_any_any -> __ -> __ -> __ -> 'a1) ->
     908  __ -> __ -> trace_any_any_free -> 'a1
     909
     910val trace_any_any_free_rect_Type1 :
     911  abstract_status -> (__ -> 'a1) -> (__ -> __ -> __ -> trace_any_any -> __ ->
     912  __ -> 'a1) -> (__ -> __ -> __ -> trace_any_any -> __ -> __ -> __ -> 'a1) ->
     913  __ -> __ -> trace_any_any_free -> 'a1
     914
     915val trace_any_any_free_rect_Type0 :
     916  abstract_status -> (__ -> 'a1) -> (__ -> __ -> __ -> trace_any_any -> __ ->
     917  __ -> 'a1) -> (__ -> __ -> __ -> trace_any_any -> __ -> __ -> __ -> 'a1) ->
     918  __ -> __ -> trace_any_any_free -> 'a1
     919
     920val trace_any_any_free_inv_rect_Type4 :
     921  abstract_status -> __ -> __ -> trace_any_any_free -> (__ -> __ -> __ -> __
     922  -> 'a1) -> (__ -> __ -> __ -> trace_any_any -> __ -> __ -> __ -> __ -> __
     923  -> 'a1) -> (__ -> __ -> __ -> trace_any_any -> __ -> __ -> __ -> __ -> __
     924  -> __ -> 'a1) -> 'a1
     925
     926val trace_any_any_free_inv_rect_Type3 :
     927  abstract_status -> __ -> __ -> trace_any_any_free -> (__ -> __ -> __ -> __
     928  -> 'a1) -> (__ -> __ -> __ -> trace_any_any -> __ -> __ -> __ -> __ -> __
     929  -> 'a1) -> (__ -> __ -> __ -> trace_any_any -> __ -> __ -> __ -> __ -> __
     930  -> __ -> 'a1) -> 'a1
     931
     932val trace_any_any_free_inv_rect_Type2 :
     933  abstract_status -> __ -> __ -> trace_any_any_free -> (__ -> __ -> __ -> __
     934  -> 'a1) -> (__ -> __ -> __ -> trace_any_any -> __ -> __ -> __ -> __ -> __
     935  -> 'a1) -> (__ -> __ -> __ -> trace_any_any -> __ -> __ -> __ -> __ -> __
     936  -> __ -> 'a1) -> 'a1
     937
     938val trace_any_any_free_inv_rect_Type1 :
     939  abstract_status -> __ -> __ -> trace_any_any_free -> (__ -> __ -> __ -> __
     940  -> 'a1) -> (__ -> __ -> __ -> trace_any_any -> __ -> __ -> __ -> __ -> __
     941  -> 'a1) -> (__ -> __ -> __ -> trace_any_any -> __ -> __ -> __ -> __ -> __
     942  -> __ -> 'a1) -> 'a1
     943
     944val trace_any_any_free_inv_rect_Type0 :
     945  abstract_status -> __ -> __ -> trace_any_any_free -> (__ -> __ -> __ -> __
     946  -> 'a1) -> (__ -> __ -> __ -> trace_any_any -> __ -> __ -> __ -> __ -> __
     947  -> 'a1) -> (__ -> __ -> __ -> trace_any_any -> __ -> __ -> __ -> __ -> __
     948  -> __ -> 'a1) -> 'a1
     949
     950val trace_any_any_free_jmdiscr :
     951  abstract_status -> __ -> __ -> trace_any_any_free -> trace_any_any_free ->
     952  __
     953
     954val taaf_non_empty :
     955  abstract_status -> __ -> __ -> trace_any_any_free -> Bool.bool
     956
     957val taa_append_taa :
     958  abstract_status -> __ -> __ -> __ -> trace_any_any -> trace_any_any ->
     959  trace_any_any
     960
     961val taaf_to_taa :
     962  abstract_status -> __ -> __ -> trace_any_any_free -> trace_any_any
     963
     964val taaf_append_tal :
     965  abstract_status -> __ -> trace_ends_with_ret -> __ -> __ ->
     966  trace_any_any_free -> trace_any_label -> trace_any_label
     967
     968val taaf_append_taa :
     969  abstract_status -> __ -> __ -> __ -> trace_any_any_free -> trace_any_any ->
     970  trace_any_any
     971
     972val taaf_cons :
     973  abstract_status -> __ -> __ -> __ -> trace_any_any_free ->
     974  trace_any_any_free
     975
     976val taaf_append_taaf :
     977  abstract_status -> __ -> __ -> __ -> trace_any_any_free ->
     978  trace_any_any_free -> trace_any_any_free
     979
Note: See TracChangeset for help on using the changeset viewer.