Up – Package index » rocq-runtime » Library rocq-runtime.engine » Ftactic » Notations

Module `Ftactic.Notations`Source

Sourceval (>>=) : 'a t -> ('a -> 'b t) -> 'b t

Sourceval (<*>) : unit t -> 'a t -> 'a t