Functor LogtkFormula.Map

module Map (From : S)  (To : S) : sig .. end
Functor to translate terms
Parameters:
From : S
To : S

val map : (From.term -> To.term) -> From.t -> To.t