arrow-analysis-common
2.0.2-alpha.15
arrow-analysis-common
/
arrow.meta.plugins.analysis.phases.analysis.solver
/
primitiveFormula
primitive
Formula
fun
Solver
.
primitiveFormula
(
context
:
ResolutionContext
,
resolvedCall
:
ResolvedCall
,
args
:
List
<
Formula
>
)
:
Formula
?
Content copied to clipboard