Changeset 2773 for extracted/aST.mli


Ignore:
Timestamp:
Mar 4, 2013, 10:03:33 AM (8 years ago)
Author:
sacerdot
Message:
  1. everything extracted again after all bugs in Matita's extraction have been fixed. No more need for manual patching
  2. new extraction after file reorganization (by James)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/aST.mli

    r2717 r2773  
    1919open Div_and_mod
    2020
     21open Util
     22
     23open FoldStuff
     24
     25open BitVector
     26
    2127open Jmeq
    2228
     
    2531open List
    2632
    27 open Util
    28 
    29 open FoldStuff
    30 
    31 open BitVector
     33open Setoids
     34
     35open Monad
     36
     37open Option
    3238
    3339open Extranat
     
    5460
    5561open Extralib
    56 
    57 open Setoids
    58 
    59 open Monad
    60 
    61 open Option
    6262
    6363open Lists
     
    278278type bvint = BitVector.bitVector
    279279
    280 val repr0 : intsize -> Nat.nat -> bvint
     280val repr : intsize -> Nat.nat -> bvint
    281281
    282282val size_floatsize : floatsize -> Nat.nat
     
    532532type m_W
    533533
    534 type match_fundef = __
    535 
    536 type match_varinfo = __
    537 
    538534val matching_inv_rect_Type4 :
    539535  matching -> (__ -> __ -> __ -> __ -> __ -> __ -> __ -> 'a1) -> 'a1
     
    701697  ('a1 -> 'a2 Errors.res) -> 'a1 fundef -> 'a2 fundef Errors.res
    702698
    703 type member1 = __
    704 
Note: See TracChangeset for help on using the changeset viewer.