Changeset 3077 for extracted/status.mli


Ignore:
Timestamp:
Apr 3, 2013, 11:49:45 AM (7 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/status.mli

    r2773 r3077  
    11open Preamble
    22
     3open Types
     4
     5open Hints_declaration
     6
     7open Core_notation
     8
     9open Pts
     10
     11open Logic
     12
     13open Jmeq
     14
     15open Russell
     16
    317open BitVectorTrie
    418
     
    4559open Div_and_mod
    4660
    47 open Jmeq
    48 
    49 open Russell
    50 
    5161open Util
    5262
     
    6272
    6373open Positive
    64 
    65 open Hints_declaration
    66 
    67 open Core_notation
    68 
    69 open Pts
    70 
    71 open Logic
    72 
    73 open Types
    7474
    7575open Identifiers
     
    457457  preStatus
    458458
     459val update_low_internal_ram :
     460  'a1 -> 'a1 preStatus -> BitVector.bitVector -> BitVector.byte -> 'a1
     461  preStatus
     462
    459463val set_high_internal_ram :
    460464  'a1 -> 'a1 preStatus -> BitVector.byte BitVectorTrie.bitVectorTrie -> 'a1
    461465  preStatus
    462466
     467val update_high_internal_ram :
     468  'a1 -> 'a1 preStatus -> BitVector.bitVector -> BitVector.byte -> 'a1
     469  preStatus
     470
    463471val set_external_ram :
    464472  'a1 -> 'a1 preStatus -> BitVector.byte BitVectorTrie.bitVectorTrie -> 'a1
    465473  preStatus
     474
     475val update_external_ram :
     476  'a1 -> 'a1 preStatus -> BitVector.bitVector -> BitVector.byte -> 'a1
     477  preStatus
     478
     479val get_psw_flags : 'a1 -> 'a1 preStatus -> Nat.nat -> Bool.bool
    466480
    467481val get_cy_flag : 'a1 -> 'a1 preStatus -> Bool.bool
     
    505519  preStatus
    506520
     521val read_from_external_ram :
     522  'a1 -> 'a1 preStatus -> BitVector.word -> BitVector.byte
     523
    507524val read_from_internal_ram :
    508525  'a1 -> 'a1 preStatus -> BitVector.byte -> BitVector.byte
Note: See TracChangeset for help on using the changeset viewer.