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