Skip to main content

anonymous.tppl

function example​

model function example() => Int