package dolmen_loop

  1. Overview
  2. Docs
A tool library for automated deduction tools

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (7)

Authors

  1. G
    Guillaume Bury <guillaume.bury@gmail.com>

Maintainers

  1. G
    Guillaume Bury <guillaume.bury@gmail.com>

Sources

dolmen-0.10.tbz
sha256=c5c85f77e3924f378e8d82f166eefe4131b4e041bf9cdeca467410f33c71fa61
sha512=42feb39d13cfdc8a2054abe85ccc47755f45059cda7d95e9261b5a9fd5c730f420732547b3fa19c4af059474f887ef78c119ab5933375a5ea2dbe888f65a3e4f

doc/dolmen_loop/Dolmen_loop/State/index.html

Module Dolmen_loop.StateSource

Sourcetype 'a info = {
  1. name : string;
  2. pipe : string;
}
module M : sig ... end
Sourcetype t = M.t
Sourcetype 'a key = 'a M.key
Sourcetype report_style =
  1. | Minimal
  2. | Regular
  3. | Contextual
Sourcetype source = [
  1. | `Stdin
  2. | `File of string
  3. | `Raw of string * string
]
Sourcetype mode = [
  1. | `Full
  2. | `Incremental
]
Sourcetype 'lang file = {
  1. lang : 'lang option;
  2. mode : mode option;
  3. loc : Dolmen.Std.Loc.file;
  4. dir : string;
  5. source : source;
}
Sourceexception Error of t
Sourceexception Key_not_found of t * string * string
Sourceval split_input : [< `File of string | `Stdin ] -> string * [> `File of string | `Stdin ]
Sourceval mk_file : ?lang:??? -> ?mode:??? -> ?loc:??? -> string -> source -> 'a file
Sourcemodule type S = sig ... end
Sourceval empty : t
Sourceval create_key : pipe:string -> string -> 'a M.key
Sourceval get : 'a M.key -> t -> 'a
Sourceval get_or : default:'a -> 'a M.key -> M.t -> 'a
Sourceval set : 'a M.key -> 'a -> M.t -> M.t
Sourceval update_opt : 'a M.key -> ('a option -> 'a option) -> M.t -> M.t
Sourceval update : 'a M.key -> ('a -> 'a) -> t -> M.t
Sourceval pipe : string
Sourceval bt : bool key
Sourceval debug : bool key
Sourceval reports : Report.Conf.t key
Sourceval report_style : report_style key
Sourceval max_warn : int key
Sourceval cur_warn : int key
Sourceval time_limit : float key
Sourceval size_limit : float key
Sourceval logic_file : Logic.language file key
Sourceval response_file : Response.language file key
Sourceval init : ?bt:??? -> debug:bool -> report_style:report_style -> reports:Report.Conf.t -> max_warn:int -> ?cur_warn:??? -> time_limit:float -> size_limit:float -> response_file:Response.language file -> M.t -> M.t
Sourceval loc_input : ?file:??? -> t -> Dolmen.Std.Loc.loc -> Pp_loc.Input.t option
Sourceval pp_loc : ?file:??? -> t -> Format.formatter -> Dolmen.Std.Loc.loc option -> unit
Sourceval flush : t -> unit -> M.t
Sourceval error : ?file:??? -> ?loc:??? -> t -> 'b Report.Error.t -> 'b -> 'c
Sourceval warn : ?file:??? -> ?loc:??? -> t -> ([ `Warning ], 'b) Dolmen_loop__Report.aux -> 'b -> t