Updated private/public properties within provvis_decl module.