package mc2

  1. Overview
  2. Docs

Parameters

module ARG : sig ... end

Signature

val parse : string -> PA.statement list or_error
val parse_stdin : unit -> PA.statement list or_error
val typecheck : PA.statement list -> Mc2_core.Statement.t list or_error
val process_stmt : ?gc:bool -> ?restarts:bool -> ?pp_cnf:bool -> ?dot_proof:string -> ?pp_model:bool -> ?check:bool -> ?time:float -> ?memory:float -> ?progress:bool -> ?switch:Mc2_core.Util.Switch.t -> Mc2_core.Statement.t -> unit or_error

Process the given statement.