Commit 5a5e5b42 authored by POTTIER Francois's avatar POTTIER Francois

Export [structure] out of [Unifier].

parent 36b6e598
......@@ -35,6 +35,10 @@ module Make (S : STRUCTURE) : sig
val fresh: variable S.structure option -> variable
(* [structure x] returns the structure (currently) carried by variable [x]. *)
val structure: variable -> variable S.structure option
(* [unify x y] attempts to unify the terms represented by the variables
[x] and [y]. The creation of cycles is not permitted; an eager occurs
check rules them out. *)
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