arrow-analysis-types/arrow.analysis/Pre

Pre

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

Constructors

Link copied to clipboard
fun 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