Module Rule.Match

val return : ('a, 'a) return
val bind : ('a, 'a, 'b) bind
val map : ('a, 'a, 'b, 'b) map
val bind_shortest : ('a, 'a, 'b, 'b, 'c) best
val bind_longest : ('a, 'a, 'b, 'b, 'c) best
val all : 'a rule list -> 'a list rule