blob: 76368f04c66f80319fff9462313cce5ea2b76e85 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
(** THIS FILE WAS AUTOMATICALLY GENERATED BY AENEAS *)
(** [issue_194_recursive_struct_projector] *)
module Issue194RecursiveStructProjector
open Primitives
#set-options "--z3rlimit 50 --fuel 1 --ifuel 1"
(** [issue_194_recursive_struct_projector::AVLNode]
Source: 'tests/src/issue-194-recursive-struct-projector.rs', lines 2:0-2:17 *)
type aVLNode_t (t : Type0) =
{
value : t; left : option (aVLNode_t t); right : option (aVLNode_t t);
}
(** [issue_194_recursive_struct_projector::get_val]:
Source: 'tests/src/issue-194-recursive-struct-projector.rs', lines 10:0-10:33 *)
let get_val (t : Type0) (x : aVLNode_t t) : result t =
Ok x.value
(** [issue_194_recursive_struct_projector::get_left]:
Source: 'tests/src/issue-194-recursive-struct-projector.rs', lines 14:0-14:43 *)
let get_left (t : Type0) (x : aVLNode_t t) : result (option (aVLNode_t t)) =
Ok x.left
|
