mirleft/ocaml-tls — pull request #204 by pqwy (2014-11-17 21:23:36+00:00)
Title: Typecheck the authenticator

Same as #203 but done statically.