contract @contract_name@ "one contract"

• @contract.operation_name@ - @contract.operation_desc@
  • @contract.inout@ @contract.param@ @contract.param_type@ []