Substition (astral.Astral_internal.RuleAntiunification.Substition)

type t = SL.Term.MonoList.t SL.Variable.Map.t

val domain : 'a SL.Variable.Map.t -> SL.Variable.Map.key list

val empty : 'a SL.Variable.Map.t

val join : 
  SL.Term.t list SL.Variable.Map.t ->
  SL.Term.t list SL.Variable.Map.t ->
  SL.Term.t list SL.Variable.Map.t

val apply_reverse : SL.t -> SL.t -> SL.Term.t list SL.Variable.Map.t -> SL.t

val to_formula : SL.Term.t list SL.Variable.Map.t -> SL.t