Up

module Interface

: sig
#
val excname : string
#
val excdef : IL.excdef
#
val excredef : IL.excdef
#
val entrytypescheme : string -> IL.typescheme
#
val interpreter : string
#
val result : IL.typ -> IL.typ
#
val incremental : string -> string
#
val entrytypescheme_incremental : string -> IL.typescheme
#
val write : unit -> unit
end