i was given an assiignment to write a code for chocolate vending machine using alloy . I want to write functons which for following things.if coin is inserted chocolate will come.different chocolates are assigned for differnet coins lik1 1 rs,2 rs and 5 rs.if 2 rs coin is inserted and want chocolates of 1rs only then 1 rs should return back

i was given an assiignment to write a code for chocolate vending machine using alloy . I want to write functons which for following things.if coin is inserted chocolate will come.different chocolates are assigned for differnet coins lik1 1 rs,2 rs and 5 rs.if 2 rs coin is inserted and want chocolates of 1rs only then 1 rs should return back i hav e tried

sig chocolate{}
sig coin{}
sig vending{}