Module Settle.Make

Parameters

module A : sig ... end

Signature

module CST : sig ... end
module DCST : sig ... end
val settle : (DCST.dcst * A.state * A.terminal) -> CST.cst option