package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module H : MSig

Signature

type s = H.s
type a = H.a
type d = H.d
type c = H.c
type p = H.p
type pp = H.pp
type ap = H.ap
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