Module Types.MathSource

type t = string