Module Ppx_template_expander.Maybe_explicit

Maybe_explicit is used by the mangling scheme to decide whether to enumerate all manglers, or drop an axis if all manglers for that axis is a default value.

type explicitness =
  1. | Explicit
  2. | Drop_axis_if_all_defaults
type 'a t = explicitness * 'a
val map : 'a t -> f:('a -> 'b) -> 'b t
val map_result : 'a t -> f:('a -> ('b, 'c) result) -> ('b t, 'c) result
val ok : ('a, 'b) result t -> ('a t, 'b) result
module Both : sig ... end