(** These are the functions provided by the runtime system. *)

val primitives : StringTools.Set.t

val is_primitive : string -> bool

val print_int : string
val print_intln : string
val scan_int : string
val alloc : string
val modulo : string

val print_sig : AST.signature -> string