Module Reachingdefs.S


module S: sig .. end

val time : 'a -> ('b -> 'c) -> 'b -> 'c