Module Verification_key.Checked

type t