unit_with_magic.ml

module Unit: sig
  type 'a t
  val magic: 'a t -> 'b t
  type m type s
  val m: m t
  val s: s t
  val (+): 'a t -> 'a t -> 'a t
  val ( * ): 'a t -> 'b t -> ('a * 'b) t 
end = struct
  type 'a t =float
  type m type s
  let magic x = x
   let s = 1. 
   let m = 1.
   let ( + ) = ( +. )
   let ( * ) = ( *. )
end