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