package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val decl_map : 
  (Term.term -> Term.term) ->
  (Term.term -> Term.term) ->
  decl ->
  decl

val decl_fold : 
  ('a -> Term.term -> 'a) ->
  ('a -> Term.term -> 'a) ->
  'a ->
  decl ->
  'a

val decl_map_fold : 
  ('a -> Term.term -> 'a * Term.term) ->
  ('a -> Term.term -> 'a * Term.term) ->
  'a ->
  decl ->
  'a * decl