Method to_structure

tools/fuzz-gen/src/specifications/json.rs:55–60

(&self)

impl untyped::Expression {
    fn to_structure(&self) -> Expression {
        Expression {
            spec_id: self.spec_id,
            expr_id: self.id,
        }
    }
}

impl common::QuantifierVars<untyped::ExpressionId, untyped::Arg> {