package logtk

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

Module LLTerm.Int_opSource

Sourcetype t =
  1. | Leq0
  2. | Geq0
  3. | Lt0
  4. | Gt0
  5. | Eq0
  6. | Neq0
  7. | Divisible_by of Z.t
  8. | Not_div_by of Z.t
Sourceval not : t -> t
Sourceval equal : t -> t -> bool
Sourceval hash : t -> int
OCaml

Innovation. Community. Security.