T (p.dedukti.2.7.doc.dedukti.api.Api.Processor.T)

Source

val handle_input : 
  Parsers.Parser.input ->
  ?hook:hook ->
  (module S with type t = 'a) ->
  'a

handle_input input hook processor applies the processor processor on the input. hook.hook_before is executed once before the processor and hook.hook_after is executed once after the processor. By default (without hooks), if an exception exn has been raised while processing the data it is raised at top-level.

Source

val handle_files : 
  string list ->
  ?hook:hook ->
  (module S with type t = 'a) ->
  'a

handle_files files hook processor apply a processor on each file of files. hook is used once by file. The result is the one given once each file has been processed.

Source

val fold_files : 
  string list ->
  ?hook:hook ->
  f:('a -> 'b -> 'b) ->
  default:'b ->
  (module S with type t = 'a) ->
  'b