module Make_Basic:
type ('a, 'b)
op_t0 = ('a, 'b) M.t
val (+) : ('a, 'b) M.t -> ('a, 'b) M.t -> ('a, 'b) M.t
val (-) : ('a, 'b) M.t -> ('a, 'b) M.t -> ('a, 'b) M.t
val ( * ) : ('a, 'b) M.t -> ('a, 'b) M.t -> ('a, 'b) M.t
val (/) : ('a, 'b) M.t -> ('a, 'b) M.t -> ('a, 'b) M.t
val (+$) : ('a, 'b) M.t -> 'a -> ('a, 'b) M.t
val (-$) : ('a, 'b) M.t -> 'a -> ('a, 'b) M.t
val ( *$ ) : ('a, 'b) M.t -> 'a -> ('a, 'b) M.t
val (/$) : ('a, 'b) M.t -> 'a -> ('a, 'b) M.t
val ($+) : 'a -> ('a, 'b) M.t -> ('a, 'b) M.t
val ($-) : 'a -> ('a, 'b) M.t -> ('a, 'b) M.t
val ( $* ) : 'a -> ('a, 'b) M.t -> ('a, 'b) M.t
val ($/) : 'a -> ('a, 'b) M.t -> ('a, 'b) M.t
val (=) : ('a, 'b) M.t -> ('a, 'b) M.t -> bool
val (!=) : ('a, 'b) M.t -> ('a, 'b) M.t -> bool
val (<>) : ('a, 'b) M.t -> ('a, 'b) M.t -> bool
val (>) : ('a, 'b) M.t -> ('a, 'b) M.t -> bool
val (<) : ('a, 'b) M.t -> ('a, 'b) M.t -> bool
val (>=) : ('a, 'b) M.t -> ('a, 'b) M.t -> bool
val (<=) : ('a, 'b) M.t -> ('a, 'b) M.t -> bool