arrow-analysis-types/arrow.analysis/Law

Law

@Target(allowedTargets = [AnnotationTarget.FUNCTION])
annotation class Law
Content copied to clipboard

Annotation to flag ad-hoc refinements over third party functions

Constructors

Link copied to clipboard
fun Law()
Content copied to clipboard