Module Signing_request.Ext

type _ k =
| Password : string k
| Name : string k
| Extensions : Extension.t k

The GADT of certificate request extensions, as defined in PKCS 9 (RFC 2985).

include Gmap.S with type 'a key = 'a k
type !'a0 key = 'a k
type t
val empty : t
val singleton : 'a key -> 'a -> t
val is_empty : t -> bool
val cardinal : t -> int
val mem : 'a key -> t -> bool
val find : 'a key -> t -> 'a option
val get : 'a key -> t -> 'a
val add_unless_bound : 'a key -> 'a -> t -> t option
val add : 'a key -> 'a -> t -> t
val remove : 'a key -> t -> t
val update : 'a key -> ( 'a option -> 'a option ) -> t -> t
type b =
| B : 'a key * 'a -> b
val min_binding : t -> b option
val max_binding : t -> b option
val any_binding : t -> b option
val bindings : t -> b list
type eq = {
f : 'a. 'a key -> 'a -> 'a -> bool;
}
val equal : eq -> t -> t -> bool
type mapper = {
f : 'a. 'a key -> 'a -> 'a;
}
val map : mapper -> t -> t
val iter : ( b -> unit ) -> t -> unit
val fold : ( b -> 'a -> 'a ) -> t -> 'a -> 'a
val for_all : ( b -> bool ) -> t -> bool
val exists : ( b -> bool ) -> t -> bool
val filter : ( b -> bool ) -> t -> t
type merger = {
f : 'a. 'a key -> 'a option -> 'a option -> 'a option;
}
val merge : merger -> t -> t -> t
type unionee = {
f : 'a. 'a key -> 'a -> 'a -> 'a option;
}
val union : unionee -> t -> t -> t
val pp : t Fmt.t