generate platform_ops.h from platform_ops.proto, and reduce dependencies

[proto.git] / lib / core / all-time.proto

(def all-time (v) (fold-time and #t v))