minimulk:~ mulk$ ocaml -I +camlp5 camlp5r.cma pa_lisp.cmo  
        Objective Caml version 3.10.2  
 
        Camlp5 Parsing version 5.08  
 
# +  
- : int -> int -> int = <fun>  
# *  
- : int -> int -> int = <fun>  
# **  
- : float -> float -> float = <fun>  
# (* 2 3)  
- : int = 6  
# (* 2 (+ 3 4))  
- : int = 14  
# (list 1 2 3)  
- : list int = [1; 2; 3]  
# "abc"  
- : string = "abc"  
# (let* ((a 10)  
         (b (* a 3)))  
    (+ b (* 3 4)))  
- : int = 42  
# (lambda (x y) (+ x (* 3 y)))  
- : int -> int -> int = <fun> 

Beschrieben im CamlP5-Handbuch. Es gibt auch eine revidierte Syntax, die näher am Caml-Original ist, aber wenigstens ein paar seiner größeren Probleme behebt.