open Types

val reduce : p_exp -> int -> (int, [> Types.error]) result