package core

  1. Overview
  2. Docs

Module Blang.OSource

include Constructors
Sourceval base : 'a -> 'a t
Sourceval true_ : _ t
Sourceval false_ : _ t
Sourceval constant : Base.Bool.t -> _ t

function true -> true_ | false -> false_

Sourceval not_ : 'a t -> 'a t
Sourceval and_ : 'a t Base.List.t -> 'a t

n-ary And

Sourceval or_ : 'a t Base.List.t -> 'a t

n-ary Or

Sourceval if_ : 'a t -> 'a t -> 'a t -> 'a t

if_ if then else

Sourceval (&&) : 'a t -> 'a t -> 'a t
Sourceval (||) : 'a t -> 'a t -> 'a t
Sourceval (==>) : 'a t -> 'a t -> 'a t

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

Sourceval not : 'a t -> 'a t