Module Ltl

Signature

module type State = sig .. end

module Make (State : State) : sig .. end