tpdb-1.3.3: Data Type for Rewriting Systems
TPDB.Input
Description
Deprecated: use TPDB.INput.File instead
module TPDB.Input.File