Defines the include_str macro.

def Mathlib.Util.includeStr : Lean.ParserDescr

A term macro that includes the content of a file, as a string.