simplicity-lang 0.7.1

General purpose library for processing Simplicity programs
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

// SPDX-License-Identifier: CC0-1.0

mod environment;

pub use environment::BitcoinEnv;

use super::init::bitcoin::Bitcoin;
use super::JetEnvironment;
use simplicity_sys::c_jets::frame_ffi::CFrameItem;

impl JetEnvironment for BitcoinEnv {
    type Jet = Bitcoin;
    type CJetEnvironment = ();

    fn c_jet_env(&self) -> &Self::CJetEnvironment {
        &()
    }

    fn c_jet_ptr(
        jet: &Self::Jet,
    ) -> fn(&mut CFrameItem, CFrameItem, &Self::CJetEnvironment) -> bool {
        super::init::bitcoin::c_jet_ptr(jet)
    }
}