Structure EvalRef

Source File	Identifier index	Theory binding index

signature EvalRef =
sig
   val r : Term.term ref
end

Source File	Identifier index	Theory binding index