Previous
Up
Next
Module
Gpr_cov_se_fat.Proj_hyper
module
Proj_hyper:
sig
..
end
type
t
= {
big_dim
:
int
;
small_dim
:
int
;
}