Commit 13c6b59c authored by POTTIER Francois's avatar POTTIER Francois

Comment.

parent 5e7f7de3
......@@ -285,6 +285,9 @@ let ba : nominal_term -> Atom.Set.t =
let wf t =
let (_ : Atom.Set.t) = ba t in ()
(* TEMPORARY add a disjointness check; this boils down to checking that a
list of terms is well-formed. *)
(* -------------------------------------------------------------------------- *)
(* [filter p t] returns a free atom of the term [t] that satisfies the
......
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