package sail

  1. Overview
  2. Docs

Parameters

module S : Sequence

Signature

val optimize : Smtlib.smt_def Stdlib.Stack.t -> Smtlib.smt_def S.t
OCaml

Innovation. Community. Security.