Proposition_Digest constructor
Implementation
factory Proposition_Digest({
$core.String? routine,
$3.Digest? digest,
}) {
final $result = create();
if (routine != null) {
$result.routine = routine;
}
if (digest != null) {
$result.digest = digest;
}
return $result;
}