package why3

  1. Overview
  2. Docs
type t
val decomp : t -> string * t list
OCaml

Innovation. Community. Security.