Module Accel_ocaml_custom

module Accel_ocaml_custom: sig .. end

type inductive_name = string

type inductive_info = {

	`ciPrintAst : (Miniml.ml_ast -> Pp.std_ppcmds) -> Miniml.ml_ast -> Pp.std_ppcmds option;`
	`ciPrintMatch : (Names.identifier list -> Pp.std_ppcmds -> Pp.std_ppcmds * Pp.std_ppcmds) list;`

}

val is_special_type : inductive_name -> bool

val special_type : inductive_name -> inductive_info