Changeset 2649 for extracted/values.mli


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

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/values.mli

    r2601 r2649  
    2929open Coqlib
    3030
     31open ErrorMessages
     32
    3133open Option
    3234
     
    3638
    3739open Positive
    38 
    39 open Char
    40 
    41 open String
    4240
    4341open PreIdentifiers
     
    5654
    5755open Identifiers
    58 
    59 open Floats
    6056
    6157open Integers
     
    149145val of_bool : Bool.bool -> val0
    150146
    151 val valueNotABoolean : String.string
    152 
    153147val eval_bool_of_val : val0 -> Bool.bool Errors.res
    154148
Note: See TracChangeset for help on using the changeset viewer.