sig
  val cstr : Fcl_var.Fd.t array -> Fcl_var.Fd.t -> Fcl_cstr.t
  val sum : Fcl_var.Fd.t array -> Fcl_var.Fd.t
end