function createMessage

###### MontoMessage ::= source::String language::String contents::String selections::String In file: Monto.sv

function getSource

###### String ::= m::MontoMessage In file: Monto.sv

function getLanguage

###### String ::= m::MontoMessage In file: Monto.sv

function getContents

###### String ::= m::MontoMessage In file: Monto.sv

function getSelections

###### String ::= m::MontoMessage In file: Monto.sv

function createProduct

###### MontoProduct ::= source::String product::String language::String contents::String In file: Monto.sv

function create

###### MontoServer ::= eval::([MontoProduct] ::= MontoMessage) inUrl::String outUrl::String In file: Monto.sv

function run

###### IOVal<Integer> ::= server::MontoServer ioIn::IO In file: Monto.sv