package why3

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val subst_filtered : (Term.lsymbol -> bool) -> Task.task Trans.trans
val subst : Term.term list -> Task.task Trans.trans
val subst_all : Task.task Trans.trans
OCaml

Innovation. Community. Security.