spooky/lib/typechecker.mli

2 lines
61 B
OCaml

val type_check : Ast.program -> (Ast.program, string) result