Hi, list
    I came across a weird type error.
    The error message is  "Error: The implementation type_error_ppo.ml
       does not match the interface (inferred signature):"
    I attached the file 
   Many thanks

--
-- Bob