package libzipperposition
Library for Zipperposition
Install
Dune Dependency
Authors
Maintainers
Sources
1.6.tar.gz
md5=97cdb2f90468e9e27c7bbe3b4fb160bb
sha512=fee73369f673a91dfa9e265fc69be08b32235e10a495f3af6477d404fcd01e3452a0d012b150f3d7f97c00af2f6045019ad039164bf698f70d771231cc4efe5d
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 47 48 49 50 51 52(* generated by dune *) (** @canonical Libzipperposition_calculi.App_encode *) module App_encode = Libzipperposition_calculi__App_encode (** @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.Booleans *) module Booleans = Libzipperposition_calculi__Booleans (** @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