ftml_extraction::open

Module terms

Source

Structs§

OpenArg

Enums§

OpenTerm
OpenTermKind
PreVar
TermOrList
VarOrSym