CLogic (gillian-c.Cgil

module GilType = Gillian.Gil_syntax.Type

val pp_option : 'a Fmt.t -> 'a option Fmt.t

val pp_list : ?sep:unit Fmt.t -> 'a Fmt.t -> 'a list Fmt.t

type assert_annot = {

}

val pp_assert_annot : 
  ?post:('a, 'b, 'c, 'd, 'd, 'a) Stdlib.format6 ->
  Stdlib.Format.formatter ->
  assert_annot ->
  unit

module CBinOp : sig ... end

module CUnOp : sig ... end

module CNOp : sig ... end

module CSimplExpr : sig ... end

module CSVal : sig ... end

module CExpr : sig ... end

module CConstructor : sig ... end

module CFormula : sig ... end

module CAssert : sig ... end

module CLCmd : sig ... end

module CAbsPred : sig ... end

module CPred : sig ... end

module CSpec : sig ... end

module CLemma : sig ... end

module CProg : sig ... end