Module Const.Option

type some = t
val none : t
val value : t -> default:some -> some
val print : Format.formatter -> t -> unit
val proj : 'a Axis.t -> t -> 'a option
val set : 'a Axis.t -> 'a option -> t -> t