Learning Constrained Parametric Differentiable Predictive Control Policies With Guarantees | Synapse