sig val time : '-> ('-> 'c) -> '-> 'end