SV → LTL Relation

File in include/circt/Dialect/SV	Includes file in include/circt/Dialect/LTL
SVOps.h	LTLDialect.h
SVOps.h	LTLTypes.h