Opened 6 years ago

Last modified 6 years ago

#1 new lemma

Lifting doesn't introduce capabilities.

Reported by: benl Owned by: benl
Priority: normal Milestone:
Component: SystemF2Effect Version:
Keywords: Cc:

Description

In WeakKiEnv / Case !XUse

     ~ mentionsCapT (TyCapRegion n) t1
------------------------------------------
 ~ mentionsCapT (TyCapRegion n) (liftTT 1 ix t1)  

Change History (1)

comment:1 Changed 6 years ago by benl

  • Summary changed from Lemma: Lifting doesn't introduce capabilities. to Lifting doesn't introduce capabilities.
  • Type changed from defect to lemma
Note: See TracTickets for help on using tickets.