let
compile_def xs p =
let
ys,sigma = fresh_params [] empty xs
in
ys , pred sigma p