package symkat

  1. Overview
  2. Docs
type t = (Kat.expr * [ `Eq | `Le ] * Kat.expr) list
exception Unusable of string
val eliminate : t -> Kat.expr -> Kat.expr -> Kat.expr' * Kat.expr' * Kat.expr'
OCaml

Innovation. Community. Security.