package colibri2

  1. Overview
  2. Docs
type options
val set_egraph : _ Egraph.t -> options -> unit
val parser : unit -> options Cmdliner.Term.t
val default_options : unit -> options
OCaml

Innovation. Community. Security.