Ignore:
Timestamp:
Mar 28, 2013, 10:27:41 AM (7 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/joint_LTL_LIN_semantics.mli

    r2951 r2997  
    177177  Joint_semantics.state Errors.res
    178178
    179 val eval_ltl_lin_seq :
    180   Joint_LTL_LIN.ltl_lin_seq -> Joint_semantics.state -> (IO.io_out, IO.io_in,
    181   Joint_semantics.state) IOMonad.iO
    182 
    183179val lTL_LIN_save_frame :
    184180  Joint_semantics.call_kind -> Types.unit0 -> Joint_semantics.state_pc ->
Note: See TracChangeset for help on using the changeset viewer.