Ignore:
Timestamp:
Feb 7, 2013, 10:43:49 PM (7 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/smallstepExec.mli

    r2601 r2649  
    3131open Proper
    3232
     33open ErrorMessages
     34
    3335open Option
    3436
     
    3941open Positive
    4042
    41 open Char
    42 
    43 open String
    44 
    4543open PreIdentifiers
    4644
     
    7068
    7169open Identifiers
    72 
    73 open Floats
    7470
    7571open AST
     
    337333val exec_inf : ('a1, 'a2) fullexec -> __ -> (__, 'a1, 'a2) execution
    338334
     335type 'x execution_prefix = (Events.trace, 'x) Types.prod List.list
     336
     337val split_trace :
     338  ('a3, 'a1, 'a2) execution -> Nat.nat -> ('a3 execution_prefix, ('a3, 'a1,
     339  'a2) execution) Types.prod Types.option
     340
Note: See TracChangeset for help on using the changeset viewer.