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