Module Printast

Pretty-print representation of AST.

val pp : ?compact:bool -> Stdlib.Format.formatter -> Ast.expr -> unit

Verbose printing with optional compactness. Usable for parsing.

val pp_hum : Stdlib.Format.formatter -> Ast.expr -> unit

Print in fancy human-readable compact form with lambda notation.

val pp_verbose : Stdlib.Format.formatter -> Ast.expr -> unit

Verbose printing without compact notation.

val show : ?compact:bool -> Ast.expr -> string

Convert AST to string with optional compactness.

val free_vars : Ast.expr -> string list

Extract free variables from an expression.

val is_free_in : string -> Ast.expr -> bool

Check if a variable is free in an expression.