sig
val unix_exec_is :
OASISTypes.common_section * OASISTypes.build_section *
OASISTypes.executable ->
(unit -> bool) ->
(unit -> string) ->
(unit -> string) ->
OASISTypes.unix_filename * OASISTypes.unix_filename option
val schema :
(OASISTypes.common_section * OASISTypes.build_section *
OASISTypes.executable)
OASISSchema.t
end