module type S = functor (A : Model.SEMANTICS_CLOSURE) -> sig .. end
functor (
A
:
Model.SEMANTICS_CLOSURE
) ->
sig
end
include ??
val trace_check : 'a Trace.t -> 'a Result.t
'a Trace.t -> 'a Result.t