Changeset 2743 for extracted/rTL.mli


Ignore:
Timestamp:
Feb 27, 2013, 9:27:58 PM (8 years ago)
Author:
sacerdot
Message:

Latest version of the compiler, extracted with the latest version of Matita.
Some files still need some manual patching to avoid an extraction bug
(see PROBLEMS file).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/rTL.mli

    r2717 r2743  
    151151type rtl_program = Joint.joint_program
    152152
     153val dpi1__o__reg_to_rtl_snd_argument__o__inject :
     154  (Registers.register, 'a1) Types.dPair -> Joint.psd_argument Types.sig0
     155
     156val eject__o__reg_to_rtl_snd_argument__o__inject :
     157  Registers.register Types.sig0 -> Joint.psd_argument Types.sig0
     158
     159val reg_to_rtl_snd_argument__o__inject :
     160  Registers.register -> Joint.psd_argument Types.sig0
     161
     162val dpi1__o__reg_to_rtl_snd_argument :
     163  (Registers.register, 'a1) Types.dPair -> Joint.psd_argument
     164
     165val eject__o__reg_to_rtl_snd_argument :
     166  Registers.register Types.sig0 -> Joint.psd_argument
     167
     168val dpi1__o__byte_to_rtl_snd_argument__o__inject :
     169  (BitVector.byte, 'a1) Types.dPair -> Joint.psd_argument Types.sig0
     170
     171val eject__o__byte_to_rtl_snd_argument__o__inject :
     172  BitVector.byte Types.sig0 -> Joint.psd_argument Types.sig0
     173
     174val byte_to_rtl_snd_argument__o__inject :
     175  BitVector.byte -> Joint.psd_argument Types.sig0
     176
     177val dpi1__o__byte_to_rtl_snd_argument :
     178  (BitVector.byte, 'a1) Types.dPair -> Joint.psd_argument
     179
     180val eject__o__byte_to_rtl_snd_argument :
     181  BitVector.byte Types.sig0 -> Joint.psd_argument
     182
Note: See TracChangeset for help on using the changeset viewer.