Module Integral.Width
type 'mode t = | Taggable of Scalar.Integral.Taggable.Width.t| Boxable of 'mode Scalar.Integral.Boxable.Width.t
val map :
'a Scalar.Integral.Width.t ->
f:('a -> 'b) ->
'b Scalar.Integral.Width.tIntegral.Widthtype 'mode t = | Taggable of Scalar.Integral.Taggable.Width.t| Boxable of 'mode Scalar.Integral.Boxable.Width.tval map :
'a Scalar.Integral.Width.t ->
f:('a -> 'b) ->
'b Scalar.Integral.Width.t