Module Patdiff_kernel__.Output
module type S = Patdiff_kernel__.Output_intf.S
include Ppx_sexp_conv_lib.Sexpable.S with type t := t
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t
val implies_unrefined : t -> bool