Sub.Builder
Subroutine builder
type t
val create : ?tid:tid -> ?args:int -> ?blks:int -> ?name:string -> unit -> t
initializes empty subroutine builder.
val add_blk : t -> blk term -> unit
appends a block to a subroutine
val add_arg : t -> arg term -> unit
appends an argument
val result : t -> sub term
returns current result