package treeprint

  1. Overview
  2. Docs
val num : int -> Ast.t
val id : string -> Ast.t
val int : Ast.t
val alpha : Ast.t
val (+) : Ast.t -> Ast.t -> Ast.t
val (-) : Ast.t -> Ast.t -> Ast.t
val (*) : Ast.t -> Ast.t -> Ast.t
val uminus : Ast.t -> Ast.t
val (^->) : Ast.t -> Ast.t -> Ast.t
val ty_as : Ast.t -> Ast.t -> Ast.t
val tuple : Ast.t list -> Ast.t
val app : Ast.t -> Ast.t -> Ast.t
val sequence : Ast.t list -> Ast.t
val if_then_else : Ast.t -> Ast.t -> Ast.t -> Ast.t
val if_then : Ast.t -> Ast.t -> Ast.t
val test : unit -> unit