package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Term.RuleSource

Sourcetype t = rule
Sourceval lhs : t -> term
Sourceval rhs : t -> term
Sourceval vars : t -> Term.VarSet.t
Sourceval vars_l : t -> Type.t HVar.t list
Sourceval head_id : t -> ID.t
Sourceval args : t -> term list
Sourceval arity : t -> int
Sourceval proof : t -> proof
Sourceval as_lit : t -> Literal.t
Sourceval make_const : proof:Proof.t -> ID.t -> Type.t -> term -> t

make_const id ty rhs is the same as T.const id ty --> rhs

Sourceval make : proof:Proof.t -> ID.t -> Type.t -> term list -> term -> t

make id ty args rhs is the same as T.app (T.const id ty) args --> rhs

include Interfaces.HASH with type t := t
include Interfaces.EQ with type t := t
Sourceval equal : t -> t -> bool
Sourceval hash : t -> int
include Interfaces.ORD with type t := t
Sourceval compare : t -> t -> int
include Interfaces.PRINT with type t := t
Sourceval to_string : t -> string
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