let is_valid = Dynamic.register ~plugin:"Wp" "Wpo.is_valid" ~journalize:false (Datatype.func ResultType.ty Datatype.bool) (function Valid -> true | _ -> false)