Module Compile

module Compile: sig .. end

val implementation : string ->
       SurfaceSyntax.implementation -> SurfaceSyntax.interface option -> unit