What is the difference between using @inlined and using @@inline after a function declaration?
@@inline is attached to a function or functor declaration while @inlined is attached to a function application.
@@inline
@inlined
let add x y = x + y [@@inline] let z = (add[@inlined]) 1 2
You should refer this for more information.