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

[proto.git] / lib / core / find.proto

(def find (val elts)
  (fold (fun (res e) (or res (= val e))) 0 elts))