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