Module TypoLanguage

module TypoLanguage: sig .. end

type line = string

val sprint_linef : 'a -> 'a

type message =

`\|`	`No_solution of string`
`\|`	`Opt_error of optimization_error`
`\|`	`Normal`
`\|`	`PleaseReport of string`
`\|`	`FileNotFound of string`
`\|`	`BadEncoding of string`

type optimization_error =

val lang : [> `EN ]

val message : message -> string