package why3

Package contains no libraries

exception NoReification

val reflection_by_lemma : Decl.prsymbol -> Env.env -> Task.task Trans.tlist

val reflection_by_function : bool -> string -> Env.env -> Task.task Trans.tlist