sig
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 : Accel_ocaml_custom.inductive_name -> bool
val special_type :
Accel_ocaml_custom.inductive_name -> Accel_ocaml_custom.inductive_info
end