module Fol_norm: sig .. end
sig
end
type normalized =
|
Pred of Fol.pred
Fol.pred
Conv of Fol_cc.f_let list * Fol.pred
Fol_cc.f_let list * Fol.pred
val compile : Fol.pred -> normalized
Fol.pred -> normalized