Module Multiplicative.Magma

type t = float
val append : t -> t -> t