Documentation

Mathlib.Util.IncludeStr

Defines the include_str macro. #

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

Equations
Instances For