Module Printable.LiftConf
Parameters
Signature
type t = [
| `Bot
| `Lifted of Base.t
| `Top
]
val equal : t -> t -> Ppx_deriving_runtime.bool
val compare : t -> t -> Ppx_deriving_runtime.int
include module type of struct include Std end
val lift : 'a -> [> `Lifted of 'a ]
val show : [< `Bot | `Lifted of Base.t | `Top ] -> string
val pretty : unit -> t -> Pretty.doc
val name : unit -> string
val printXml :
'a BatInnerIO.output ->
[< `Bot | `Lifted of Base.t | `Top ] ->
unit
val to_yojson : [< `Bot | `Lifted of Base.t | `Top ] -> Yojson.Safe.t
val relift : [< `Bot | `Lifted of Base.t | `Top Lifted ] as 'a -> 'a
val arbitrary : unit -> [ `Bot | `Lifted of Base.t | `Top ] QCheck.arbitrary