Extract Inlined Constant mkCoreLet => "MkCore.mkCoreLet".
Variable sortAlts : forall {a}{b}, list (@triple AltCon a b) -> list (@triple AltCon a b).
Extract Inlined Constant mkCoreLet => "MkCore.mkCoreLet".
Variable sortAlts : forall {a}{b}, list (@triple AltCon a b) -> list (@triple AltCon a b).