FILE: propertiesOrder.kt public final fun box(): R|kotlin/String| { lval df: R|org/jetbrains/kotlinx/dataframe/DataFrame</Invoke_64>| = R|org/jetbrains/kotlinx/dataframe/api/dataFrameOf|(vararg(String(full_name), String(a), String(b))).R|kotlin/let|/Invoke_64>|>( = fun (it: R|org/jetbrains/kotlinx/dataframe/api/DataFrameBuilder|): R|org/jetbrains/kotlinx/dataframe/DataFrame</Invoke_64>| { local abstract class Invoke_64I : R|kotlin/Any| { @R|org/jetbrains/kotlinx/dataframe/annotations/Order|(order = Int(0)) public abstract val full_name: R|kotlin/Int| public get(): R|kotlin/Int| @R|org/jetbrains/kotlinx/dataframe/annotations/Order|(order = Int(2)) public abstract val b: R|kotlin/Int| public get(): R|kotlin/Int| @R|org/jetbrains/kotlinx/dataframe/annotations/Order|(order = Int(1)) public abstract val a: R|kotlin/Int| public get(): R|kotlin/Int| public constructor(): R|/Invoke_64I| } local final class Scope0 : R|kotlin/Any| { public final val R|org/jetbrains/kotlinx/dataframe/DataRow</Invoke_64I>|.full_name: R|kotlin/Int| public get(): R|kotlin/Int| public final val R|org/jetbrains/kotlinx/dataframe/ColumnsScope</Invoke_64I>|.full_name: R|org/jetbrains/kotlinx/dataframe/DataColumn| public get(): R|org/jetbrains/kotlinx/dataframe/DataColumn| public final val R|org/jetbrains/kotlinx/dataframe/DataRow</Invoke_64I>|.b: R|kotlin/Int| public get(): R|kotlin/Int| public final val R|org/jetbrains/kotlinx/dataframe/ColumnsScope</Invoke_64I>|.b: R|org/jetbrains/kotlinx/dataframe/DataColumn| public get(): R|org/jetbrains/kotlinx/dataframe/DataColumn| public final val R|org/jetbrains/kotlinx/dataframe/DataRow</Invoke_64I>|.a: R|kotlin/Int| public get(): R|kotlin/Int| public final val R|org/jetbrains/kotlinx/dataframe/ColumnsScope</Invoke_64I>|.a: R|org/jetbrains/kotlinx/dataframe/DataColumn| public get(): R|org/jetbrains/kotlinx/dataframe/DataColumn| public constructor(): R|/Scope0| } local abstract class Invoke_64 : R|/Invoke_64I| { @R|org/jetbrains/kotlinx/dataframe/annotations/ScopeProperty|() public abstract val scope0: R|/Scope0| public get(): R|/Scope0| public constructor(): R|/Invoke_64| } ^ R|/it|.R|org/jetbrains/kotlinx/dataframe/api/DataFrameBuilder.invoke|(vararg(Int(1), Int(2), Int(3))) } ) (this@R|/box|, R|/df|).R|/Scope0.full_name| ^box String(OK) }