Project

General

Profile

Download (194 Bytes) Statistics
| Branch: | Tag: | Revision:
1
let verifiers =
2
  [
3
    (* (module Seal_verifier.Verifier : VerifierType.S); *)
4
    (module Tiny_verifier.Verifier : VerifierType.S);
5
    (module Zustre_verifier.Verifier : VerifierType.S);
6
  ]
(67-67/71)