retoor/orchid
1
0
Fork 0
forked from Orchid/orchid
Code Pull Requests 1 Activity

Generic mutation scheduling system

Browse Source 
IO adapted to use it
Also, Atoms can now dispatch type-erased requests
This commit is contained in:
Lawrence Bethlenfalvy
2023-09-14 22:54:42 +01:00
parent 8c866967a9
commit 3c0056c2db
51 changed files with 991 additions and 379 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/systems/stl/bool.rs
View File

@@ -1,14 +1,14 @@
use std::rc::Rc;
use crate::interner::Interner;
use crate::representations::interpreted::{Clause, ExprInst};
use crate::representations::interpreted::Clause;
use crate::systems::AssertionError;
use crate::{atomic_inert, define_fn, ConstTree, Literal, PathSet};
/// Booleans exposed to Orchid
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct Boolean(pub bool);
atomic_inert!(Boolean, "a boolean");
atomic_inert!(Boolean, typestr = "a boolean");
impl From<bool> for Boolean {
fn from(value: bool) -> Self {