[andrepd]

Yep. You could write

    module Quaternion = struct
      let (+) =
        ...
    
      let ( * ) =
        ...
    end

then

    let open Quaternion in

imports the contents of Quaternion into local scope, so you can write

    x * y + z