core_gather_headers()

gather_srcs(infrt_src SRCS types.cc utils.cc)
