Module LogtkTypedPrologTerm.Subst

module Subst: sig .. end

type t 
val empty : t
val add : t ->
LogtkTypedPrologTerm.term ->
LogtkTypedPrologTerm.term -> t
val eval : t ->
LogtkTypedPrologTerm.term -> LogtkTypedPrologTerm.term
val eval_head : t ->
LogtkTypedPrologTerm.term -> LogtkTypedPrologTerm.term
include LogtkInterfaces.PRINT