Module term
phase_
rs
0.1.0
Module term
Module Items
Structs
Enums
In phase_
rs::
typed_
syntax
phase_rs
::
typed_syntax
Module
term
Copy item path
Source
Expand description
Term syntax terms.
Structs
§
Term
Type
A unitary type “qn <-> qn”
Enums
§
TermT
Syntax of typed terms