Module Flambda2_term_basics.Or_invalid

type 'a t =
  1. | Ok of 'a
  2. | Invalid
val print : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit
val map : 'a t -> f:('a -> 'b) -> 'b t