Implicit Arguments Tactic arguments Metavariables Unification Implicit Arguments It is possible to omit terms that the type checker can figure out for itself, replacing them ...
几何数据 几何数据 This panel is used to manage any generic data attributes that a mesh could have. Warning Clearing any data will result in the data loss of these values. 清除雕刻遮罩数据 从...
Cone Node Inputs Properties Outputs Cone Node The Cone node generates a cone mesh that is optionally truncated. Inputs Vertices Number of points on the circle at the top...
Rewriting Rewrite rules by example Overlapping pattern matching More examples General shape of rewrite rules Confluence checking Advanced usage Rewriting Rewrite rules all...
Rewriting Rewrite rules by example Overlapping pattern matching More examples General shape of rewrite rules Confluence checking Advanced usage Rewriting Rewrite rules all...