package dolmen_loop

  1. Overview
  2. Docs
type t

The type of state

val input_lang : t -> Logic.language option

Return the input language (if any).