Up
–
frama-c-tai
»
Single_value_abstraction
»
Product
»
Make
» _
Parameter
Make._
val
reduce :
(
L.t
*
R.t
)
->
L.t
*
R.t