Skip to main content

conversion.tppl

function bool2real​

function bool2real(v : Bool) => Real

function bool2string​

function bool2string(v: Bool) => String

function int2real​

function int2real(v : Int) => Real

function int2string​

function int2string(v : Int) => String

function real2string​

function real2string(v : Real) => String

function sbool2real​

function sbool2real(v : Bool[]) => Real[]

function sbool2string​

function sbool2string(v : Bool[]) => String[]

function sint2real​

function sint2real(v : Int[]) => Real[]

function sint2string​

function sint2string(v : Int[]) => String[]

function sreal2string​

function sreal2string(v : Real[]) => String[]