Something went wrong. Try again.
forked from gbury/dolmen
Something went wrong. Try again.
123456789
(* This file is free software, part of Dolmen. See file "LICENSE" for more details. *)
(** This is an instanciation of the Logic class with the standard implementation of parsed terms and statements of Dolmen. *)include Dolmen.Class.Logic.S with type statement := Dolmen.Std.Statement.t and type file := Dolmen.Std.Loc.file