Module Decl.DeclTF

module DeclTF: sig .. end

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

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

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