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)