# eukhe: the proof of LAW tiny_elect_entry_example

import Base
import ../../laws/tiny.bend as Tiny

def Tiny.tiny_elect_entry_example():
  {==}