Make.M
type param
type result
val unit_result : unit -> result
val opcode : param -> t -> result
val value : param -> V.t -> result
val (>>>) : param -> result -> (unit -> result) -> result