Module V.I

val (|+|) : D.t -> D.t -> D.t
val (|*|) : D.t -> D.t -> D.t
val (|-|) : D.t -> D.t -> D.t