arrow-analysis-types/arrow.analysis/Pre

Pre

@Target(allowedTargets = [AnnotationTarget.FUNCTION])
annotation class Pre(messages: Array<String>, formulae: Array<String>, dependencies: Array<String>)
Content copied to clipboard

Properties

Link copied to clipboard
val dependencies: Array<String>
Content copied to clipboard
Link copied to clipboard
val formulae: Array<String>
Content copied to clipboard
Link copied to clipboard
val messages: Array<String>
Content copied to clipboard