eu.timepit.refined.api
Evidence that states if the conclusion C can be inferred from the premise P or not.
C
P
Evidence that states if the conclusion
C
can be inferred from the premiseP
or not.