https://github.com/EasyCrypt/easycrypt
Raw File
Tip revision: e1c72bcd88d9bf28bb28a2d6ddeee1ca2bb97aee authored by Pierre-Yves Strub on 05 April 2024, 14:34:09 UTC
Internal change: primitive notion of forall-bindings in proof terms
Tip revision: e1c72bc
ecWhy3Conv.mli
(* -------------------------------------------------------------------- *)
open Why3

module Talpha : sig
  type t = Term.vsymbol list * Term.term

  val compare : t -> t -> int
end

module Mta : EcMaps.Map.S with type   key = Talpha.t
module Sta : EcMaps.Set.S with type M.key = Talpha.t
back to top