Module `Slambda`

include module type of struct include Slambda0 end

type 'lam t0 = 'lam Slambda0.t0 =

| Quote of 'lam

type t = Lambda.lambda Slambda.t0

type program = {

compilation_unit : Compilation_unit.t;
main_module_block_format : Lambda.main_module_block_format;
arg_block_idx : int option;
code : Slambda.t;

}