blub.tppl

function blub

Model function Parameters: n: Int pi: Real trump: Bool coinflips: Bool[] text: String Returns: nothing Side-effect: prints things

model function blub(n: Int, pi: Real, trump: Bool, coinflips: Bool[], text: String) => ()

function example

function example(a: Int, b: Int) => Int

function example3

function example3(a: Int, b: Int, c: Int) => Int