Module Frontend.Server

val init : string -> int -> unit
val close : unit -> unit
val dispatch_goal : (Core.Ident.t * Core.CodeUnit.Syntax.tp) list -> Core.CodeUnit.Syntax.tp -> unit