Module Cov_se_fat.Proj_hyper

module Proj_hyper: sig .. end

type t = {

	`big_dim :int;`
	`small_dim :int;`

}