package coq

  1. Overview
  2. Docs
package coq
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Micromega_plugin.MutilsSource

Sourcemodule Int : sig ... end
Sourcemodule ISet : sig ... end
Sourcemodule IMap : sig ... end
Sourcemodule Cmp : sig ... end
Sourcemodule Tag : sig ... end
Sourcemodule TagSet : CSig.SetS with type elt = Tag.t
Sourcemodule McPrinter : sig ... end
Sourceval pp_list : string -> (Stdlib.out_channel -> 'a -> unit) -> Stdlib.out_channel -> 'a list -> unit
Sourcemodule CamlToCoq : sig ... end
Sourcemodule CoqToCaml : sig ... end
Sourcemodule Hash : sig ... end
Sourceval all_pairs : ('a -> 'a -> 'b) -> 'a list -> 'b list
Sourceval try_any : (('a -> 'b option) * 'c) list -> 'a -> 'b option
Sourceval is_sublist : ('a -> 'b -> bool) -> 'a list -> 'b list -> bool
Sourceval extract : ('a -> 'b option) -> 'a list -> ('b * 'a) option * 'a list
Sourceval extract_all : ('a -> 'b option) -> 'a list -> 'b list * 'a list
Sourceval extract_best : ('a -> 'b option) -> ('b -> 'b -> bool) -> 'a list -> ('b * 'a) option * 'a list
Sourceval find_some : ('a -> 'b option) -> 'a list -> 'b option
Sourceval iterate_until_stable : ('a -> 'a option) -> 'a -> 'a
Sourceval simplify : ('a -> 'a option) -> 'a list -> 'a list option
Sourceval saturate : ('a -> 'b option) -> (('b * 'a) -> 'a -> 'a option) -> 'a list -> 'a list
Sourceval saturate_bin : (module Stdlib.Set.S with type elt = 'a) -> ('a -> 'a -> 'a option) -> 'a list -> 'a list
Sourceval generate : ('a -> 'b option) -> 'a list -> 'b list
Sourceval app_funs : ('a -> 'b option) list -> 'a -> 'b option
Sourceval command : string -> string array -> 'a -> 'b
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct