Module Fol_norm


module Fol_norm: sig .. end


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