package libzipperposition
Library for Zipperposition
Install
Dune Dependency
Authors
Maintainers
Sources
1.5.1.tar.gz
md5=cc320f66f10555c54822da624419e003
sha512=f8d5f7a5ae790bf0388d74261673803cf375f91f92f7b413b70db1ce5841ef55343a208f98727c8551d66f1840ab892f1c0c943a34861d14d79ce469b235a2f2
doc/src/libzipperposition.calculi/libzipperposition_calculi.ml.html
Source file libzipperposition_calculi.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46(* generated by dune *) (** @canonical Libzipperposition_calculi.Arith_int *) module Arith_int = Libzipperposition_calculi__Arith_int (** @canonical Libzipperposition_calculi.Arith_rat *) module Arith_rat = Libzipperposition_calculi__Arith_rat (** @canonical Libzipperposition_calculi.Avatar *) module Avatar = Libzipperposition_calculi__Avatar (** @canonical Libzipperposition_calculi.Avatar_intf *) module Avatar_intf = Libzipperposition_calculi__Avatar_intf (** @canonical Libzipperposition_calculi.EnumTypes *) module EnumTypes = Libzipperposition_calculi__EnumTypes (** @canonical Libzipperposition_calculi.Fool *) module Fool = Libzipperposition_calculi__Fool (** @canonical Libzipperposition_calculi.Heuristics *) module Heuristics = Libzipperposition_calculi__Heuristics (** @canonical Libzipperposition_calculi.Higher_order *) module Higher_order = Libzipperposition_calculi__Higher_order (** @canonical Libzipperposition_calculi.Ind_types *) module Ind_types = Libzipperposition_calculi__Ind_types (** @canonical Libzipperposition_calculi.Induction *) module Induction = Libzipperposition_calculi__Induction (** @canonical Libzipperposition_calculi.Induction_intf *) module Induction_intf = Libzipperposition_calculi__Induction_intf (** @canonical Libzipperposition_calculi.Rewriting *) module Rewriting = Libzipperposition_calculi__Rewriting (** @canonical Libzipperposition_calculi.Simplex *) module Simplex = Libzipperposition_calculi__Simplex (** @canonical Libzipperposition_calculi.Superposition *) module Superposition = Libzipperposition_calculi__Superposition (** @canonical Libzipperposition_calculi.Superposition_intf *) module Superposition_intf = Libzipperposition_calculi__Superposition_intf