package catt

  1. Overview
  2. Docs

Module Catt.ProverSource

Sourceval parse : string -> (Command.prog, unit) result
Sourceval parse_file : string -> (Command.prog, unit) result
Sourceval init : unit -> unit
Sourceval exec : string -> (unit -> unit) -> unit
Sourceval loop : unit -> unit
Sourceval reset : unit -> unit
OCaml

Innovation. Community. Security.