let sigma = fun ppc -> (Types.pi1 sigma_pol).Types.fst ppc in
let pol = fun ppc -> (Types.pi1 sigma_pol).Types.snd ppc in
let i =
Obj.magic observe Assembly_pass { Types.fst = { Types.fst = p;
Types.snd = sigma }; Types.snd = pol }
in
let sigma = fun ppc -> (Types.pi1 sigma_pol).Types.fst ppc in
let pol = fun ppc -> (Types.pi1 sigma_pol).Types.snd ppc in
let i =
Obj.magic observe Assembly_pass { Types.fst = { Types.fst = p;
Types.snd = sigma }; Types.snd = pol }
in