gleamunison/verify
Values
pub fn eval_file(path: String) -> Result(String, String)Evaluate a file and return the last form’s rendered value. Use this when the caller needs the RESULT (test harnesses, datalog queries), not just proof the file evaluates.
pub fn get_init_defs() -> List(#(String, elab_types.SurfaceDef))pub fn parse_all_sexprs(
tokens: List(lexer.TokenInfo),
acc: List(parser.SExpr),
) -> Result(List(parser.SExpr), lexer.ParseError)pub fn terms_from_sexprs(
exprs: List(parser.SExpr),
acc: List(elab_types.SurfaceTerm),
) -> Result(List(elab_types.SurfaceTerm), lexer.ParseError)pub fn verify_file(path: String) -> Result(String, String)