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