Predicate signature InputSig::hasSourceLocationPrefix
Holds if s
is the source location prefix.
Typically sourceLocationPrefix(s)
.
signature predicate hasSourceLocationPrefix(string s)
Holds if s
is the source location prefix.
Typically sourceLocationPrefix(s)
.
signature predicate hasSourceLocationPrefix(string s)