package GuaCaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type s
type a
type d
type 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