sig
module
Log
=
BatLog
module
Bounded
=
BatBounded
module
PathGen
=
BatPathGen
end