Up
–
coq-core
»
Ftactic
» Notations
Module
Ftactic.Notations
val
(>>=) :
'a
t
->
(
'a
->
'b
t
)
->
'b
t
val
(<*>) :
unit
t
->
'a
t
->
'a
t