Passkey (webs.Webs_passkey.Passkey)

type t

The type for passkeys.

val make : 
  aaguid:Aaguid.t ->
  credential_id:Credential_id.t ->
  public_key:Public_key.t ->
  unit ->
  t

make aaguid ~credential ~public_key () is a passkey with given parameters. See accessors for semantics.

val aaguid : t -> Aaguid.t

aaguid pk is the AAGUID of the authenticator that created pk.

val credential_id : t -> Credential_id.t

credential_id pk is the credential ID assigned by the authenticator to pk.

val public_key : t -> Public_key.t

public_key pk is the public key of pk.

Converting

val of_public_key : Public_key.t -> t

of_public_key pk is a passkey with the given public key. All other fields are zeroed out but this is enough to give to Webs_passkey.verify.

val pp : Stdlib.Format.formatter -> t -> unit

pp formats a passkey for inspection.