Source

data class Source(val file: String, val line: Int? = null)(source)

A file, and the line of it that a fact came from when the line is known.

Constructors

Link copied to clipboard
constructor(file: String, line: Int? = null)

Properties

Link copied to clipboard
Link copied to clipboard
val line: Int?

Functions

Link copied to clipboard
open override fun toString(): String