F | |
1 (Type/Class) | Voting.Protocol.Arithmetic, Voting.Protocol |
2 (Data Constructor) | Voting.Protocol.Arithmetic, Voting.Protocol |
fakeProof | Voting.Protocol.Election, Voting.Protocol |
fieldCharac | Voting.Protocol.Arithmetic, Voting.Protocol |
FromNatural | Voting.Protocol.Arithmetic, Voting.Protocol |
fromNatural | Voting.Protocol.Arithmetic, Voting.Protocol |