Module Ast

module Ast : sig ... end

AST that we want to parse

module TypedAst : sig ... end

AST with types