Make.3-Group
type value
type var
val scale : value -> Scalar.value -> value
module Checked : sig ... end