pub type ASTExpr<F> = Expr<F, Queriable<F>>;
diff --git a/docs/chiquito/ast/query/enum.Queriable.html b/docs/chiquito/ast/query/enum.Queriable.html
index cdec6e50..c34239b6 100644
--- a/docs/chiquito/ast/query/enum.Queriable.html
+++ b/docs/chiquito/ast/query/enum.Queriable.html
@@ -18,10 +18,10 @@
with arbitrary rotation. Must be called on a shared signal and used within a
transition
constraint. Returns a new Queriable
shared signal with positive or
negative rotation.
Represents a constraint with an associated annotation and expression.
-annotation: String
§expr: ASTExpr<F>
§typing: Typing
source
. Read moreannotation: String
§expr: ASTExpr<F>
§typing: Typing
source
. Read morepub enum StepTypeDefInput {
Handler(StepTypeHandler),
String(&'static str),
-}