Once defined the analysis support, or carrier, as seen above, the user must define the analysis module, very simple task with ocaml:
module LiveAnalisi = Analisi (LiveCarrier)