https://github.com/EasyCrypt/easycrypt
Tip revision: dab7c477290c5f1a5a53c317edc089b63cf8e5bf authored by Cameron Low on 11 October 2021, 09:55:19 UTC
Merge pull request #81 from Cameron-Low/csidh-group-action
Merge pull request #81 from Cameron-Low/csidh-group-action
Tip revision: dab7c47
ecPhlRCond.mli
(* -------------------------------------------------------------------- *)
open EcSymbols
open EcParsetree
open EcCoreGoal.FApi
(* -------------------------------------------------------------------- *)
module Low : sig
val t_hoare_rcond : bool -> codepos1 -> backward
val t_ehoare_rcond : bool -> codepos1 -> backward
val t_bdhoare_rcond : bool -> codepos1 -> backward
val t_equiv_rcond : side -> bool -> codepos1 -> backward
end
(* -------------------------------------------------------------------- *)
module LowMatch : sig
val t_hoare_rcond_match : symbol -> codepos1 -> backward
val t_bdhoare_rcond_match : symbol -> codepos1 -> backward
val t_equiv_rcond_match : side -> symbol -> codepos1 -> backward
end
(* -------------------------------------------------------------------- *)
val t_rcond : oside -> bool -> codepos1 -> backward
val process_rcond : oside -> bool -> codepos1 -> backward
val t_rcond_match : oside -> symbol -> codepos1 -> backward