Parameter Make.1-Auth

type t
val check : t -> string array -> bool