Module Snarky_backendless.As_prover_intf

module type Basic = sig ... end