[][src]Type Definition crev_lib::proofdb::Source

type Source = String;