Revision 607a077c189227020dc10e764154006a22904c39 authored by Benjamin Gregoire on 05 June 2014, 11:32:26 UTC, committed by Benjamin Gregoire on 05 June 2014, 11:32:26 UTC
1 parent bbfad45
ecPair.ml
(* Pair.fst *)
let fst (p : 'a * 'b) =
let (a0, b0) = p in a0
(* Pair.snd *)
let snd (p : 'a * 'b) =
let (a0, b0) = p in b0
(* Pair.Dprod *)
module Dprod = struct
(* Pair.Dprod.* *)
let as0 (d1 : 'a EcPervasive.distr) (d2 : 'b EcPervasive.distr) :
('a * 'b) EcPervasive.distr =
fun _ -> (d1 (), d2 ())
end
Computing file changes ...
