package why3

Package contains no libraries

val meta_rewrite : Theory.meta

val meta_rewrite_def : Theory.meta

val normalize_goal_transf_all : Env.env -> Task.task Trans.tlist

val normalize_goal_transf_few : Env.env -> Task.task Trans.tlist

val normalize_hyp : 
  int option ->
  Decl.prsymbol option ->
  Env.env ->
  Task.task Trans.tlist

val normalize_hyp_few : 
  int option ->
  Decl.prsymbol option ->
  Env.env ->
  Task.task Trans.tlist

val simplify : (Term.lsymbol -> bool) -> Env.env -> Task.task Trans.trans