{{!

   Macros implmeneting entries to interface services
   
}}


{{!interface_post_pet.tla}}
{{!interface_get_pet.tla}}
{{!interface_delete_pet.tla}}
{{!interface_post_tag.tla}}
{{!interface_put_tag.tla}}