Module Mavryk_benchmark.Ast

module type S = sig ... end
module Make (Size : sig ... end) : S with type size = Size.size
module Ast : S with type size = Costlang.Num.t

Standard AST

module To_ast (Ast : S) : Costlang.S with type 'a repr = 'a Ast.t and type size = Ast.size
module Transform (F : functor (Ast : S) -> sig ... end) : Costlang.Transform

Code transformer via the AST tree

A Costlang transformer for various code optimizations

A Costlang transformer taking the max with 10