fact property

K fact
final

Implementation

final K fact;