package gospel

  1. Overview
  2. Docs
val print_vs : Symbols.vsymbol Fmt.t
val print_ls_decl : Symbols.lsymbol Fmt.t
val print_ls_nm : Symbols.lsymbol Fmt.t
val print_pattern : Tterm.pattern Fmt.t
val print_binop : Tterm.binop Fmt.t
val print_quantifier : Tterm.quant Fmt.t
val print_term : Tterm.term Fmt.t
OCaml

Innovation. Community. Security.