Class Uq_engines_compat.timeout_engine

class ['a] timeout_engine : float -> exn -> 'a engine -> ['a] engine