Commit e4b7d7fd authored by MARCHE Claude's avatar MARCHE Claude
Browse files

show explanations under let and match

parent e0bcad64
......@@ -691,6 +691,10 @@ let info_window ?(callback=(fun () -> ())) mt s =
| Term.Fbinop(Term.Fimplies,_,f) -> get_labels f
| Term.Fquant(Term.Fforall,fq) ->
let (_,_,f) = Term.f_open_quant fq in get_labels f
| Term.Flet(_,fb) ->
let (_,f) = Term.f_open_bound fb in get_labels f
| Term.Fcase(_,[fb]) ->
let (_,f) = Term.f_open_branch fb in get_labels f
| _ -> []
let get_explanation id fmla =
......
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