MinaProtocol / mina / 2863

coverage: 30.754% (-16.6%) from 47.311%
2863

push

buildkite

web-flow 
Merge pull request #16296 from MinaProtocol/dkijania/more_multi_jobs

more multi jobs in CI

20276 of 65930 relevant lines covered (30.75%)

8631.7 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

33.33
/src/lib/proof_carrying_data/proof_carrying_data.ml
1 
(* A convenient data structure to bundle statements along with their proofs together *)
2 



1✔





3



open Core_kernel










4












5



[%%versioned










6



module Stable = struct










7



  module V1 = struct










8



    type ('a, 'b) t = { data : 'a; proof : 'b } [@@deriving sexp, fields]




×







9



  end










10



end]










11












12



let map { data; proof } ~f = { data = f data; proof }




×





















    

  • 

    •