grabapl 0.0.4

A library for graph-based programming languages, with pluggable type systems and a focus on visible intermediate states.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

//! # Task 4: Smallest Distance Between Consecutive Integers
//! The function f should return the smallest distance of two consecutive integers (in ascending order) in the list.
//! For example, [1, 2, 3] would return 1, and [3, 2, 1, 4] would return 3.
//! f uses an auxiliary function aux.

use crate::util::semantics::*;
use grabapl::prelude::*;
use syntax::grabapl_defs;

grabapl_defs!(get_ops, TestSemantics,
    fn min_dist_of_consecutive_integers(list: Integer) -> (min_dist: Integer) {
        let! min_dist = add_node<int, 0>();

        return (min_dist: min_dist);
    }




);

#[test_log::test]
fn task4() {}