swh:1:snp:0e3a7a90b5b85feca1ee6285ebc0301d2b85deae
Tip revision: 4a7a9c1f21e619766bc413781722af17bd664eed authored by Pierre Boutry on 06 January 2023, 17:59:57 UTC
polynomial Euclidean division done for rings
polynomial Euclidean division done for rings
Tip revision: 4a7a9c1
ecCoreHiPhl.mli
(* -------------------------------------------------------------------- *)
open EcParsetree
open EcTypes
open EcModules
open EcFol
open EcLogic
(* -------------------------------------------------------------------- *)
val process_phl_form : ty -> goal -> pformula -> form
val process_phl_formula : goal -> pformula -> form
val process_phl_exp : bool option -> pexpr -> ty option -> goal -> expr
val process_prhl_form : ty -> goal -> pformula -> form
val process_prhl_formula : goal -> pformula -> form
val process_prhl_post : goal -> pformula -> form
val process_prhl_stmt : bool -> goal -> pstmt -> stmt