package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val eliminate_builtin : Task.task Trans.trans

val compute_diff : 
  (Theory.meta * Theory.meta_arg list) list Trans.trans Trans.trans

val eliminate_definition_func : Task.task Trans.trans

val eliminate_definition_pred : Task.task Trans.trans

val eliminate_definition : Task.task Trans.trans

val eliminate_definition_gen : (Term.lsymbol -> bool) -> Task.task Trans.trans

val eliminate_mutual_recursion : Task.task Trans.trans

type rem = {

}

type bisect_step =

val bisect_step : Task.task -> bisect_step