Main (osiris.Osiris.Main)

val say : ('a, Format.formatter, unit) format -> 'a

val concat : string -> string -> string

val is_relative : string -> bool

val remove_extension : string -> string

val read : FilenameExtra.filename -> Typedtree.structure

val print : FilenameExtra.filename -> Coq.defs -> unit

module Translate : sig ... end

val translate : 
  FilenameExtra.filename ->
  FilenameExtra.filename ->
  FilenameExtra.filename ->
  unit

val read_cmt : string -> Typedtree.structure

val ast_of_cmt : string -> Syntax.mexpr

val output_ast : string -> unit