jon.recoil.org

Module Runtime_shape.Or_void

type 'a t =
  1. | Other of 'a
  2. | Void
val to_string : ('a -> string) -> 'a t -> string

Convert to string using the provided formatter for non-void values.

val erase_void : 'a t list -> 'a list

Remove all Void elements from a list, returning only the values.

val print : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit

Pretty-print an Or_void.t value using the provided formatter for non-void values.