package aez

  1. Overview
  2. Docs

Parameters

module X : Sig.X
module P : sig ... end

Signature

type t
type r = X.r
val empty : unit -> t
val assume : t -> r Sig.input list -> t * r Sig.result
val query : t -> r Sig.input -> Sig.answer
val case_split : t -> (r Literal.view * Explanation.t * Num.num) list
val add : t -> r -> t