Up
–
codex
»
Domains
» Region_numeric_offset
Module
Domains.Region_numeric_offset
module
Make
(
Scalar
:
Domain_sig.Base
) :
sig
...
end