lean-0.0.0.1: Lean/Wrapper/Univ.hs

module Lean.Wrapper.Univ where

import qualified Lean.Raw.C.Univ as Raw
import Lean.Wrapper

newtype Univ = Univ { raw :: Wrapper Raw.Struct }