Changeset 2649 for extracted/iO.mli


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

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/iO.mli

    r2601 r2649  
    22
    33open Proper
     4
     5open ErrorMessages
    46
    57open Option
     
    1012
    1113open Positive
    12 
    13 open Char
    14 
    15 open String
    1614
    1715open PreIdentifiers
     
    5957open Identifiers
    6058
    61 open Floats
    62 
    6359open Integers
    6460
     
    9490
    9591val mk_val : AST.typ -> eventval_type -> Values.val0
    96 
    97 val illTypedEvent : String.string
    9892
    9993val convert_eventval : Events.eventval -> AST.typ -> Values.val0 Errors.res
Note: See TracChangeset for help on using the changeset viewer.