package logtk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val operators : LogtkSymbol.Set.t
val is_operator : LogtkSymbol.t -> bool
val base : t

arith op

val full : t

arith op

arith op + regular op

OCaml

Innovation. Community. Security.