module Conjunto: sig .. end
sig
end
val indomain : Fcl_var.SetFd.t -> Fcl_goals.t
Fcl_var.SetFd.t -> Fcl_goals.t
refine