1 (* Title: HOL/Matrix/fspmlp.ML
1 (* Title: HOL/Matrix_LP/fspmlp.ML
2 Author: Steven Obua
3 *)
4
5 signature FSPMLP =
6 sig