package core_kernel

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
include Blang.Constructors
val base : 'a -> 'a Blang.t
val true_ : _ Blang.t
val false_ : _ Blang.t
val constant : Base.Bool.t -> _ Blang.t

function true -> true_ | false -> false_

val not_ : 'a Blang.t -> 'a Blang.t
val and_ : 'a Blang.t Base.List.t -> 'a Blang.t

n-ary And

val or_ : 'a Blang.t Base.List.t -> 'a Blang.t

n-ary Or

val if_ : 'a Blang.t -> 'a Blang.t -> 'a Blang.t -> 'a Blang.t

if_ if then else

val (&&) : 'a Blang.t -> 'a Blang.t -> 'a Blang.t
val (||) : 'a Blang.t -> 'a Blang.t -> 'a Blang.t
val (==>) : 'a Blang.t -> 'a Blang.t -> 'a Blang.t

a ==> b is "a implies b". This is not => to avoid making it look like a comparison operator.

val not : 'a Blang.t -> 'a Blang.t
OCaml

Innovation. Community. Security.