package why3

  1. Overview
  2. Docs
package why3
Legend:
Library
Module
Module type
Parameter
Class
Class type
val arg_extra_expl_prefix : string * Arg.spec * string
val goal_expl_task : root:bool -> Task.task -> Ident.ident * string * Task.task
val search_attrs : (Ident.Sattr.t -> 'a list) -> Term.term -> 'a list
val current_shape_version : int
type shape
val string_of_shape : shape -> string
val shape_of_string : string -> shape
val equal_shape : shape -> shape -> bool
val t_shape_task : ?version:int -> expl:string -> Task.task -> shape
type checksum
val print_checksum : Format.formatter -> checksum -> unit
val string_of_checksum : checksum -> string
val checksum_of_string : string -> checksum
val equal_checksum : checksum -> checksum -> bool
val dumb_checksum : checksum
val buffer_checksum : Buffer.t -> checksum
val task_checksum : ?version:int -> Task.task -> checksum
module type S = sig ... end
module Pairing (Old : S) (New : S) : sig ... end
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