Body

constructor(goalCode: String? = null, comment: String? = null, proofTypes: Array<ProofTypes>? = emptyArray())(source)