LogrelCC.coop_logrel.compilation

From LogrelCC.cooperative.cooplang Require Import lang.
From LogrelCC.coop_logrel Require Import translation light_weight_threads.

Definition compile (e : coopexpr) : expr :=
  LetIn LTH_Lib
        (App (App (Lam (Lam (Translate_coop e 0))) (Snd (Var 0))) (Fst (Var 0))).