t =
S
.t *
Biocaml_range
.t