package core_kernel

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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