KT element: KtNamedFunction
KT element text:
public fun myRequire(x: kotlin.Boolean): kotlin.Unit { contract { /* compiled contract */ }; /* compiled code */ }
FIR element: FirNamedFunctionImpl
FIR source kind: KtRealSourceElementKind

FIR element rendered:
public final [ResolvedTo(BODY_RESOLVE)] fun myRequire([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Boolean|): R|kotlin/Unit|
    [R|Contract description]
     <
        Returns(TRUE) -> x
    >
