semanticsComputeLib.sig

signature semanticsComputeLib =
sig

val add_ast_compset : computeLib.compset -> unit
val add_namespace_compset : computeLib.compset -> unit
val add_lexparse_compset : computeLib.compset -> unit
val add_semantics_compset : computeLib.compset -> unit

end