package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type s = H0.s
type a = H0.a
type d = H0.d
type c = H0.c
type p = (a, d) proof
type pp = (a, d, s, c) pproof
type ap = (a, d) aproof
val lower : s -> c
val upper : s -> p * c
val next : s -> pp
val preproc : s -> pp
val cost_add : c -> c -> c
val cost_sub : c -> c -> c
val cost_cmp : c -> c -> int
val cost_zero : unit -> c
val do_a : s -> a -> c * s
val do_d : s -> d -> c * s list
val ss : s -> string
val sa : a -> string
val sd : d -> string
val sc : c -> string
val estim : s -> BTools.BNat.nat
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