Module Recdef_plugin

module Functional_principles_proofs : sig ... end
module Functional_principles_types : sig ... end
module G_indfun : sig ... end
module Gen_principle : sig ... end
module Glob_term_to_relation : sig ... end
module Glob_termops : sig ... end
module Indfun : sig ... end
module Indfun_common : sig ... end
module Invfun : sig ... end
module Recdef : sig ... end