We also assume the existence of the

We also assume the existence of the following predefined functions ref, ! (prefix) and := (infix) with the assigned c-types:

Results (Japanese) 1:

また、次の定義済み関数 ref の存在を想定しています ！(プリフィックス) と: (挿入辞) 割り当てられた c 型 =。

Results (Japanese) 2:

我々はまた、次の定義済みの関数refの存在を前提とし、！割り当てられたC-タイプを持つ=（中置）：（接頭辞）と：

Results (Japanese) 3:

また、私たちは以下の定義済み関数refの存在を仮定します！（接頭辞）：＝（2項）c-typesで割り当てられている：