Module Stmt_intf

module Stmt_intf: sig .. end

Interfaces for statements. This module defines interfaces for statements, i.e top-level declarations in files.

module type Logic = sig .. end