Library
  signature TRAIL
  structure Trail
  structure NoTrail
is
  trail.sig
  trail.sml
  notrail.sml