Module `Dcalc.Ast`

Abstract syntax tree of the default calculus intermediate representation

type 'm naked_expr = ( Shared_ast.dcalc, 'm ) Shared_ast.naked_gexpr

and 'm expr = ( Shared_ast.dcalc, 'm ) Shared_ast.gexpr

type 'm program = 'm expr Shared_ast.program