Ignore:
Timestamp:
Feb 25, 2013, 9:54:49 PM (8 years ago)
Author:
sacerdot
Message:

Exported again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/liveness.mli

    r2719 r2730  
    113113open Fixpoints
    114114
    115 val register_lattice : unit -> Fixpoints.property_lattice
     115val register_lattice : Fixpoints.property_lattice
    116116
    117 val rl_bottom : unit -> __
     117val rl_bottom : __
    118118
    119119val rl_psingleton : Registers.register -> __
     
    127127val defined : AST.ident List.list -> Joint.joint_statement -> __
    128128
    129 val ret_regs : unit -> I8051.register Set_adt.set0
     129val ret_regs : I8051.register Set_adt.set
    130130
    131131val rl_arg : Joint.psd_argument -> __
     
    133133val used :
    134134  AST.ident List.list -> Joint.joint_statement -> (Registers.register
    135   Set_adt.set0, I8051.register Set_adt.set0) Types.prod
     135  Set_adt.set, I8051.register Set_adt.set) Types.prod
    136136
    137137val eliminable :
Note: See TracChangeset for help on using the changeset viewer.