Sourcetype t = {der : string;tbs : string;issuer : string;subject : string;common_name : string;not_before : float;not_after : float;key : public_key;algorithm : string;signature : string;names : string list;ca : bool;
} Sourceval signed_by : issuer:t -> t -> bool Sourceval names_host : t -> string -> bool Sourceval verify :
trust:t list ->
now:float ->
host:string ->
t list ->
(unit, string) result Sourceval verify_scheme :
t ->
scheme:int ->
message:string ->
signature:string ->
bool