package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module H : MSig
type t
val newman : unit -> t
val solve : t -> H.s -> H.c * H.p