Module Alba_core__.Print_inductive

module type GAMMA = sig ... end
module Make : functor (Gamma : GAMMA) -> functor (P : Fmlib.Pretty_printer.SIG) -> sig ... end
val string_of_inductive : Alba_core__.Inductive.t -> Alba_core__.Gamma.t -> string