package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
val k_max_depth : int Flex_state.key
val k_max_app_projections : int Flex_state.key
val k_max_var_imitations : int Flex_state.key
val k_max_rigid_imitations : int Flex_state.key
val k_max_identifications : int Flex_state.key
val k_max_elims : int Flex_state.key
val k_imit_first : bool Flex_state.key
val k_pattern_decider : bool Flex_state.key
val k_solid_decider : bool Flex_state.key
val k_fixpoint_decider : bool Flex_state.key
val k_solidification_limit : int Flex_state.key
val k_max_inferences : int Flex_state.key
val k_max_unifs_solid_ff : int Flex_state.key
val k_use_weight_for_solid_subsumption : bool Flex_state.key
val k_skip_multiplier : float Flex_state.key
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct