write in python

CS2ME3/SE2AA4 CS2ME3/SE2AA4 Consider the specification for two modules: SeqServices and SetOfInt. Sequence Services Library Module SeqServices Library Uses None Access Routine Semantics max.val(s) output: out :=ml: N such that (m ) AVC:ZTES: m :) exception: (s = ValueError) count(t, s) output: out := +(: Zx E8 Ax=t:1) exception: (s = 0 + ValueError) spices(s) output: out := (x:xes: (x exception: (81 = 0 ValueError) new max.val(s, f) output: out := max vall (* : Zx 8 A f(x) : x)) exception: (s = ValueError) Syntax Exported Constants None Exported Types None Exported Access Programs Routine name In Out Exceptions max.val seq of Z N ValueError Z, seq of Z N ValueError spices seq of Z seq of string ValueError new max val seq of Z, Z BN ValueError count Semantics State Variables None State Invariant None Assumptions All access programs will have inputs provided that match the types given in the specification. Page 4 of 15 Page 5 of 15 CS2ME3/SE2AA4 CS2ME3/SE2AA4 Consider the specification for two modules: SeqServices and SetOfInt. Sequence Services Library Module SeqServices Library Uses None Access Routine Semantics max.val(s) output: out :=ml: N such that (m ) AVC:ZTES: m :) exception: (s = ValueError) count(t, s) output: out := +(: Zx E8 Ax=t:1) exception: (s = 0 + ValueError) spices(s) output: out := (x:xes: (x exception: (81 = 0 ValueError) new max.val(s, f) output: out := max vall (* : Zx 8 A f(x) : x)) exception: (s = ValueError) Syntax Exported Constants None Exported Types None Exported Access Programs Routine name In Out Exceptions max.val seq of Z N ValueError Z, seq of Z N ValueError spices seq of Z seq of string ValueError new max val seq of Z, Z BN ValueError count Semantics State Variables None State Invariant None Assumptions All access programs will have inputs provided that match the types given in the specification. Page 4 of 15 Page 5 of 15