%
% Simple fst that rewrites string of as to a string
% of twice as many as

:- op(250,xfx,:).

start(adoubler,1).
final(adoubler,1).
trans(adoubler,1,2,a:a).
trans(adoubler,2,1,'#':a).



