Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

No commit message

No commit message
parent f9f70e9f
......@@ -50,6 +50,9 @@ let find_var s env = M.find s env.vars
let term env t =
assert false (*TODO*)
let fmla env f =
assert false (*TODO*)
(** building environments *)
open Ptree
......
......@@ -16,6 +16,7 @@ val find_var : string -> env -> vsymbol
(** typing *)
val term : env -> Ptree.lexpr -> term
val fmla : env -> Ptree.lexpr -> fmla
(** building environments *)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment