package electrod

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

Module Ltl.Infix

val (!!) : t -> t
val (+||) : t -> t Lazy.t -> t
val (+&&) : t -> t Lazy.t -> t
val (@=>) : t -> t Lazy.t -> t
val (@<=>) : t -> t -> t
OCaml

Innovation. Community. Security.