Module X509

type public_key =
  1. | Rsa of Bignum.t * Bignum.t
  2. | Ec of Ecdsa.curve * string
  3. | Other of string
type t = {
  1. der : string;
  2. tbs : string;
  3. issuer : string;
  4. subject : string;
  5. common_name : string;
  6. not_before : float;
  7. not_after : float;
  8. key : public_key;
  9. algorithm : string;
  10. signature : string;
  11. names : string list;
  12. ca : bool;
}
val parse : string -> (t, string) Stdlib.result
val signed_by : issuer:t -> t -> bool
val names_host : t -> string -> bool
val verify : trust:t list -> now:float -> host:string -> t list -> (unit, string) Stdlib.result
val verify_scheme : t -> scheme:int -> message:string -> signature:string -> bool