Up – Package index » logtk » Sources » logtk.solving » logtk_solving.ml

Source file `logtk_solving.ml`

logtk
- CHANGELOG
- README
- Library logtk
  - Logtk
- Library logtk.parsers
  - Logtk_parsers
- Library logtk.proofs
  - Logtk_proofs
- Library logtk.solving
  - Logtk_solving
- Sources

1
2
3
4
(* generated by dune *)

(** @canonical Logtk_solving.Lpo *)
module Lpo = Logtk_solving__Lpo