let get_result = Dynamic.register ~plugin:"Wp" "Wpo.get_result" ~journalize:false (Datatype.func2 PODatatype.ty ProverType.ty (Datatype.option ResultType.ty)) get_result