Changeset 2649 for extracted/genMem.mli


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

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/genMem.mli

    r2601 r2649  
    3535open Deqsets
    3636
     37open ErrorMessages
     38
    3739open PreIdentifiers
    3840
     
    4951open Identifiers
    5052
    51 open Coqlib
    52 
    53 open Floats
    54 
    5553open Integers
    5654
     
    6058
    6159open Arithmetic
    62 
    63 open Char
    64 
    65 open String
    6660
    6761open Extranat
     
    191185val empty : mem1
    192186
    193 val alloc :
    194   mem1 -> Z.z -> Z.z -> AST.region -> (mem1, Pointers.block Types.sig0)
    195   Types.prod
     187val alloc : mem1 -> Z.z -> Z.z -> (mem1, Pointers.block) Types.prod
    196188
    197189val free : mem1 -> Pointers.block -> mem1
Note: See TracChangeset for help on using the changeset viewer.