Up
–
frama-c
»
Frama_c_kernel
»
Monad
»
Make_based_on_bind
» M
Parameter
Make_based_on_bind.M
type
'a t
val
return :
'a
->
'a
t
val
bind :
(
'a
->
'b
t
)
->
'a
t
->
'b
t