Register (frama-c-acsl-importer.Acsl

val paste_global_annot : 
  ?pfile:string ->
  ?pline:int ->
  ?cfile:Frama_c_kernel.Filepath.t ->
  string ->
  Frama_c_kernel.Cil_types.file ->
  unit

val paste_fun_spec : 
  Frama_c_kernel.Kernel_function.t ->
  ?pfile:string ->
  ?pline:int ->
  ?cfile:Frama_c_kernel.Filepath.t ->
  string ->
  Frama_c_kernel.Cil_types.file ->
  unit

val paste_code_annot : 
  Frama_c_kernel.Kernel_function.t ->
  Frama_c_kernel.Cil_types.stmt ->
  ?pfile:string ->
  ?pline:int ->
  ?cfile:Frama_c_kernel.Filepath.t ->
  string ->
  Frama_c_kernel.Cil_types.file ->
  unit