module lang::smtlib2::command::response::Implode

rascal-Not specified

Synopsis: Converts the concreate SMT Solver Response syntax to AST

Usage

import lang::smtlib2::command::response::Implode;

Dependencies

import ParseTree;
import lang::smtlib2::command::response::Parse;
import lang::smtlib2::command::response::Ast;

function toAst

Response toAst(str answer)