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