Module E.Smtlib2

val statement : string -> (?loc:L.t -> T.t list -> S.t) option

Called on statements of the form `(<id> <term>)` where `<id>` is not the name of a statement in the official smtlib specification.