let wp_compute =
let module OLS = Datatype.List(Datatype.String) in
let module OKF = Datatype.Option(Kernel_function) in
let module OP = Datatype.Option(Property) in
Dynamic.register ~plugin:"Wp" "wp_compute"
(Datatype.func3 OKF.ty OLS.ty OP.ty Datatype.unit)
~journalize:false (*LC: Because of Property is not journalizable. *)
wp_compute