Fixed typos in ml files

This commit is contained in:
Dmitry Boulytchev 2018-02-15 23:50:30 +03:00
parent 1dfa7ffc0f
commit 84af2a21f5

View file

@ -6,7 +6,8 @@
open GT
(* The type for the expression. Note, in regular OCaml there is no "@type..."
notation, it came from GT. *)
notation, it came from GT.
*)
@type expr =
(* integer constant *) | Const of int
(* variable *) | Var of string
@ -46,7 +47,7 @@ let _ =
val eval : state -> expr -> int
Takes a state and an expression, andreturns the value of the expression in
Takes a state and an expression, and returns the value of the expression in
the given state.
*)
let eval = failwith "Not implemented yet"