迷彩匹配模式组合

Question

我已经为此苦苦挣扎了一段时间。 我有一个匹配模式，可能是一个组合。 例如下面的代码：

let  processoperatorchange t2s proc op op2=
  let rec poc p = match p with
    | Zero ->  "0"
    | In(chan, var, _, p, _) -> chan^"("^var^")"^op2^(poc p) 
    | Out(chan, value, p, _) -> chan^"<"^(v2s value)^">"^op^(poc p)

这可能是因为In和Out发生在一个实例。 有什么办法可以说吗

let  processoperatorchange t2s proc op op2=
  let rec poc p = match p with
    | Zero ->  "0"
    **| In(chan, var, _, p, _) && Out(chan, value, p, _) -> chan^("^var^")"^op2^(poc p)** 
    | Out(chan, value, p, _) -> chan^"<"^(v2s value)^">"^op^(poc p)

Answer 1

将Lhooq的评论提升为答案：

也许您应该添加一个构造函数InOut和一个构造函数InTimer 。