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