Textuallib (infer.Textuallib)

module LineMap : sig ... end

module Textual : sig ... end

module TextualBasicVerification : sig ... end

module TextualDecls : sig ... end

module TextualLexer : sig ... end

module TextualMenhir : sig ... end

module TextualParser : sig ... end

module TextualSil : sig ... end

module TextualTransform : sig ... end

module TextualTypeVerification : sig ... end

This module provides basic type verification for Textual programs.